Weave: Österreich - Belgien - Deutschland - Luxemburg - Polen - Schweiz - Slowenien - Tschechien
Disciplines
Computer Sciences (100%)
Keywords
Formal Specification Language,
Cyber-Physical Systems,
Time-frequency Logic,
Specification-based Monitoring,
Specification Mining,
Falsification Analysis