Formal Verification of Cyberphysical Systems

Formal Verification of Cyberphysical Systems

Presents a virtual roundtable with seven experts to discuss the formal specification and verification of cyberphysical systems.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Computer (Long Beach, Calif.) Calif.), 2021-09, Vol.54 (9), p.15-24
Hauptverfasser: Michael, James Bret, Drusinsky, Doron, Wijesekera, Duminda
Format: Artikel
Sprache:eng
Schlagworte:
Cyber-physical systems
Formal specifications
Formal verification
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Presents a virtual roundtable with seven experts to discuss the formal specification and verification of cyberphysical systems.
ISSN:0018-9162
1558-0814
DOI:10.1109/MC.2021.3055883