Formal Methods in Cyberphysical Systems.

James Bret Michael Doron Drusinsky Duminda Wijesekera

Published in: Computer (2021)

Keyphrases

formal methods
safety critical
knowledge based systems
formal analysis
software engineering
artificial intelligence
provably correct
case study
modeling language
reactive systems
machine learning
knowledge representation
object oriented
learning systems
fault tolerant
formal specification