Theoretical Computer Science
Action Systems with Continuous Behaviour
Hybrid Systems V
Refinement and Continuous Behaviour
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Safety Analysis in Formal Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Developing Control Systems Components
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Hazard Analysis in Formal Specification
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Nordic Journal of Computing
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
Dynamically Detecting Faults via Integrity Constraints
Methods, Models and Tools for Fault Tolerance
Rigorous Development of Complex Fault-Tolerant Systems
Stepwise development of peer-to-peer systems
IWFM'03 Proceedings of the 6th international conference on Formal Methods
Formal development of wireless sensor-actor networks
Science of Computer Programming
Hi-index | 0.00 |