Deriving Mode Logic for Autonomous Resilient Systems

Inna Vistbakka, Amin Majd, Elena Troubitsyna

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

3 Citeringar (Scopus)
Filter
Slutfört

Sökresultat