Applying Integrated Formal Methods on CPS Design.

Henrique Amaral Misson Fernando Silvano Gonçalves Leandro Buss Becker

Published in: SBESC (2019)

Keyphrases

formal methods
knowledge based systems
formal specification
formal analysis
safety critical
software engineering
model checking
modeling language
model checker
database
artificial intelligence
natural language
process algebra