LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
A visual approach to validating system level designs
Proceedings of the 15th international symposium on System Synthesis
Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment
Formal Methods in System Design
Safety Patterns - The Key to Formal Specification of Safety Requirements
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Virtual start-up of plants using formal methods
International Journal of Computer Applications in Technology
Hi-index | 0.03 |