Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx.
Manzoor AhmadIulia DragomirJean-Michel BruelIulian OberNicolas BelloirPublished in: SIMULTECH (2013)
Keyphrases
- safety analysis
- safety critical
- artificial intelligence
- desirable properties
- management system
- distributed systems
- quantitative analysis
- ambient intelligence
- statistical analysis
- data sets
- expert systems
- case study
- data mining
- real world
- computer systems
- computational intelligence
- learning systems
- complex systems
- data analysis