TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems.
Etienne ClosseMichel PoizeJacques PulouJoseph SifakisPatrick VenierDaniel WeilSergio YovinePublished in: CAV (2001)
Keyphrases
- real time embedded systems
- case study
- development process
- intelligent software
- software engineering
- knowledge based systems
- design tools
- rapid development
- design process
- fingerprint verification
- software application
- formal methods
- real time
- information processing
- open source
- e learning
- artificial intelligence
- databases