Keyphrases
- systems engineering
- safety critical
- formal methods
- software engineering
- fault tolerant
- safety analysis
- life cycle
- agent architecture
- software architecture
- requirements engineering
- knowledge extraction
- embedded systems
- systems development
- support systems
- regulatory requirements
- adaptive systems
- industrial applications
- software development
- development process
- health care
- knowledge based systems
- decision support system
- distributed systems
- knowledge discovery
- cooperative
- multi agent
- real time