Generalizing Action Systems to Hybrid Systems

Ralph-Johan Back, Luigia Petre, Ivan Porres Paltor

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

18 Citeringar (Scopus)
OriginalspråkOdefinierat/okänt
Titel på gästpublikation6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'2000
RedaktörerM Joseph
FörlagSpringer-Verlag
Sidor202–213
StatusPublicerad - 2000
MoE-publikationstypA4 Artikel i en konferenspublikation
Evenemangconference -
Varaktighet: 1 jan 2010 → …

Konferens

Konferensconference
Period01/01/10 → …

Citera det här