Environment-based Development of Reactive Systems.

Yves Ledru Pierre Collette

Published in: Refine (1994)

Keyphrases

reactive systems
formal methods
mobile robot
temporal logic
software engineering
model checking
information flow
case study
petri net
real time
development process
process model
control flow
metamodel
low cost
e learning
machine learning
databases