Formal Requirements Modeling and Verification for Critical Systems.

Published in: ICEIS (1) (2020)

Keyphrases

formal methods
dynamic aspects
real time systems
search engine
model checking
real time
knowledge based systems
building blocks
user requirements
modeling method
automated verification