Structuring and Design of Reactive Systems Using RSDS and B
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Systematising Reactive System Design
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Linking Hazard Analysis to Formal Specification and Design in B
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Intelligent supervisory systems for industrial process control
ICS'05 Proceedings of the 9th WSEAS International Conference on Systems
A holonic architecture for continuous processes supervision and coordination
ICS'05 Proceedings of the 9th WSEAS International Conference on Systems
Hi-index | 0.00 |