A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata

Pilch, Carina (Corresponding author); Krause, Maurice; Remke, Anne; Ábrahám, Erika

Cham, Switzerland : Springer (2020)
Buchbeitrag, Beitrag zu einem Tagungsband

In: NASA formal methods : 12th international symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings / Ritchie Lee, Susmit Jha, Anastasia Mavridou (eds.)
Seite(n)/Artikel-Nr.: 381-400

Einrichtungen

  • Fachgruppe Informatik [120000]
  • Lehr- und Forschungsgebiet Theorie Hybrider Systeme [123420]

Identifikationsnummern