A formal approach for the development of reactive systems.

Olfa Mosbahi Leila Jemni Ben Ayed Mohamed Khalgui

Published in: Inf. Softw. Technol. (2011)

Keyphrases

reactive systems
formal model
information flow
formal methods
model checking
temporal logic
case study
databases
development process
knowledge based systems
intrusion detection
information processing
petri net
formal specification
control flow