Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)
Fuyuki IshikawaAlexander B. RomanovskyPublished in: CoRR (2012)
Keyphrases
- event detection
- international conference
- complex systems
- lecture notes in artificial intelligence
- publish subscribe systems
- artificial intelligence
- technological advances
- event processing
- management system
- news articles
- international workshop
- international symposium
- event driven
- conference on artificial intelligence
- current challenges