Sign in
Formal Methods in Designing Critical Cyber-Physical Systems.
Mehrnoosh Askarpour
Carlo Ghezzi
Dino Mandrioli
Matteo Rossi
Christos Tsigkanos
Published in:
From Software Engineering to Formal Methods and Tools, and Back (2019)
Keyphrases
</>
formal methods
cyber physical systems
cyber physical
model checking
software engineering
formal specification
artificial intelligence
knowledge based systems
cyber security
case study
web services
physical world
decision support system
modeling language
knowledge base
social networks
real time