Author:
Devillers Marco,Griffioen David,Romijn Judi,Vaandrager Frits
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Four Formal Models of IEEE 1394 Link Layer;Electronic Proceedings in Theoretical Computer Science;2024-03-27
2. A Study of the Electrum and DynAlloy Dynamic Behavior Notations;IEEE Transactions on Software Engineering;2023-11
3. Semantic comparisons of Alloy models;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems;2020-10-16
4. Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider;Science of Computer Programming;2013-12
5. Formal specification and analysis of zeroconf using uppaalS;ACM Transactions on Embedded Computing Systems;2011-04