Modular Design of Reactive Systems
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Verification and refinement with fine-grained action-based concurrent objects
Theoretical Computer Science - Formal methods for components and objects
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
Towards reasoning about teleo-reactive programs for robust real-time systems
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Modeling Communication with Synchronized Environments
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Dynamically Detecting Faults via Integrity Constraints
Methods, Models and Tools for Fault Tolerance
Synchronized architectures for adaptive systems
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Modeling Communication with Synchronized Environments
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
Hi-index | 0.00 |