An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study.
Andreea BugaAtif MashkoorSorana Tania NemesKlaus-Dieter SchewePornpan SongprasopPublished in: Comput. Lang. Syst. Struct. (2018)
Keyphrases
- systems engineering
- case study
- software engineering
- systems development
- knowledge extraction
- web information systems
- requirements engineering
- industrial applications
- topics covered include
- quality assessment
- software development
- development process
- batch processing
- knowledge management
- hybrid learning
- lessons learned
- real world
- event driven
- human resources
- business process
- event detection
- goal oriented
- event recognition
- computational modeling
- computational biology