Login / Signup
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems.
Massimo Benerecetti
Fabio Mogavero
Adriano Peron
Luigi Libero Lucio Starace
Published in:
QUATIC (2021)
Keyphrases
</>
safety critical
formal methods
temporal properties
fault tolerant
safety analysis
support systems
embedded systems
software engineering
agent architecture
artificial intelligence
management system
knowledge based systems