A formal approach for the specification and verification of trustworthy component-based systems.
Mubarak MohammadVangalur S. AlagarPublished in: J. Syst. Softw. (2011)
Keyphrases
- formal methods
- reactive systems
- artificial intelligence
- asynchronous circuits
- formal verification
- management system
- neural network
- computer systems
- formal specification
- databases
- formal languages
- formal model
- data sets
- retrieval systems
- learning systems
- formal analysis
- multi agent
- information systems
- information retrieval