Towards a Computer-Aided Design of Reactive Systems.
Marc FrappierRichard St-DenisPublished in: EUROCAST (2001)
Keyphrases
- computer aided design
- reactive systems
- temporal logic
- model checking
- computer aided
- object oriented
- information flow
- computer graphics
- formal methods
- cad cam
- petri net
- solid models
- reverse engineering
- design automation
- design process
- process planning
- cad systems
- real time systems
- control flow
- formal specification
- data mining
- cad model
- databases
- belief revision
- knowledge based systems
- relational databases
- image segmentation
- database
- office information systems