New Paradigms and Tools for High-Assurance Systems Modelling.
Francesco FlamminiNicola MazzoccaValeria VittoriniPublished in: ERCIM News (2008)
Keyphrases
- high assurance
- distributed systems
- learning systems
- management system
- computer systems
- building blocks
- computer aided software engineering
- formal methods
- fault tolerant
- complex systems
- information systems
- databases
- decision support
- database
- relational databases
- real world
- software components
- software tools
- interactive systems
- analytic tools
- data sets
- real time