A Formal Approach for the Development of Automated Systems.
Olfa MosbahiLeila Jemni Ben AyedJacques JarayPublished in: ICSOFT (SE) (2007)
Keyphrases
- management system
- knowledge based systems
- real time
- support systems
- distributed systems
- development efforts
- safety critical
- communication technologies
- computing systems
- computer aided
- complex systems
- information processing
- computer systems
- intelligent systems
- expert systems
- digital libraries
- learning algorithm
- data sets