A logic for the stepwise development of reactive systems.

Alexandre Madeira Luís Soares Barbosa Rolf Hennicker Manuel A. Martins

Published in: Theor. Comput. Sci. (2018)

Keyphrases

reactive systems
databases
database
case study
transition systems
artificial intelligence
software engineering
knowledge management
modal logic
real time systems
state machines