Author:
Harrison Timothy H.,Levine David L.,Schmidt Douglas C.
Cited by
51 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Dynamic vehicle software with AUTOCONT;Proceedings of the 55th Annual Design Automation Conference;2018-06-24
2. Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later;Lecture Notes in Computer Science;2015
3. Realm;Proceedings of the 23rd international conference on Parallel architectures and compilation;2014-08-24
4. Introduction to Reasoning in Event-Based Distributed Systems;Reasoning in Event-Based Distributed Systems;2011
5. Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems;Innovations in Systems and Software Engineering;2009-12-22