Subject
General Computer Science,Theoretical Computer Science
Reference17 articles.
1. Vis: A system for verification and synthesis;Brayton,1996
2. A simple method for parameterised verification of cache coherence protocols;Chou,2004
3. LSCs: Breathing Life into Message Sequence Charts;Damm;Formal Methods in System Design,2001
4. A discrete-time UML semantics for concurrency and communication in safety-critical applications;Damm;Science of Computer Programming,2005
5. Live and let die: LSC-based verification of UML-models;Damm;Science of of Computer Programming,2005
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献