Modeling of a Speed Control System Using Event-B

von Mammar, Amel
Veröffentlicht in ABZ (Veranstaltung : 7. : 2020 : Ulm) Rigorous state-based methods (2020)

Modelling Hybrid Programs with Event-B

von Afendi, Meryem
Veröffentlicht in ABZ (Veranstaltung : 7. : 2020 : Ulm) Rigorous state-based methods (2020)

An Event-B Model of an Automotive Adaptive Exterior Light System

von Mammar, Amel
Veröffentlicht in ABZ (Veranstaltung : 7. : 2020 : Ulm) Rigorous state-based methods (2020)

Intrusion Detection Using ASTDs

von Tidjon, Lionel N.
Veröffentlicht in AINA (34. : 2020 : Caserta) Advanced information networking and applications ; Set 1 (2020)

Intrusion Detection Using ASTDs

von Tidjon, Lionel N.
Veröffentlicht in AINA (34. : 2020 : Caserta) Advanced information networking and applications ; Set 2 (2020)