An Integrated Approach to Specification and Validation of Real-Time Systems.
Adnan SherifAugusto SampaioSérgio CavalcantePublished in: FME (2001)
Keyphrases
- real time systems
- reactive systems
- real time
- distributed systems
- embedded systems
- timing constraints
- real time database systems
- high level
- architectural model
- formal specification
- embedded real time systems
- real time embedded
- mission critical
- active rules
- conceptual model
- data management
- relational databases
- database systems
- object oriented programming language
- artificial intelligence