Resultaten visas 1 - 2 / 2
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År
Publicationer information ikon

Runtime enforcement of reactive systems using synchronous enforcers

Referentgranskad
Öppen tillgång
DOI
10.1145/3092282.3092291
Pinisetty, Srinivas; Roop, Partha; Smyth, Steven; Tripakis, Stavros; Hanxleden, Reinhard von
International Symposium on Model Checking Software2017Publicationer information ikon

Runtime enforcement of cyber-physical systems

Referentgranskad
DOI
10.1145/3126500
Pinisetty, Srinivas; Roop, Partha S.; Smyth, Steven; Allen, Nathan; Tripakis, Stavros; Von Hanxleden...
ACM Transactions on Embedded Computing Systems2017

Runtime enforcement of reactive systems using synchronous enforcers

Referentgranskad
Öppen tillgång
DOI
10.1145/3092282.3092291
2017

Runtime enforcement of cyber-physical systems

Referentgranskad
DOI
10.1145/3126500
2017