Predictive runtime enforcement

Publiceringsår

2017

Upphovspersoner

Pinisetty, Srinivas; Preoteasa, Viorel; Tripakis, Stavros; Jéron, Thierry; Falcone, Yliès; Marchand, Hervé

Organisationer och upphovspersoner

Aalto-universitetet

Pinisetty Srinivas

Tripakis Stavros

Preoteasa Viorel

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Tidning

Artikelstyp

En originalartikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A1 Originalartikel i en vetenskaplig tidskrift

Publikationskanalens uppgifter

Journal

FORMAL METHODS IN SYSTEM DESIGN

Förläggare

SPRINGER

Volym

Nummer

Sidor

154–199

ISSN

0925-9856

Publikationsforum

56299

Publikationsforumsnivå

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Nej

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Nyckelord

[object Object],[object Object],[object Object],[object Object],[object Object]

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Sampublikation med ett företag

Nej

DOI

10.1007/s10703-017-0271-1