A Graphic Notation for Formal Specifications of Dynamic Systems.
Gianna ReggioMauro LarosaPublished in: FME (1997)
Keyphrases
- dynamic systems
- formal specification
- complex systems
- specification languages
- model checking
- object oriented design
- discrete event
- qualitative reasoning
- consistency based diagnosis
- concurrent systems
- reverse engineering
- ordinary differential equations
- dynamical systems
- formal methods
- qualitative models
- state variables
- modeling language
- model based diagnosis
- particle filter
- databases
- continuous variables
- formal specification language
- object oriented data models
- software components
- control system
- multi agent systems
- protocol specification
- linear time invariant
- semantic data models
- search algorithm