Author:
Schoeberl Martin,Sondergaard Hans,Thomsen Bent,Ravn Anders P.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Development Automation of Real-Time Java;ACM Transactions on Embedded Computing Systems;2020-09-30
2. Conformance test development with the Java modeling language;Concurrency and Computation: Practice and Experience;2017-02-02
3. Safety-critical Java for embedded systems;Concurrency and Computation: Practice and Experience;2016-12-14
4. Safety-Critical Java: level 2 in practice;Concurrency and Computation: Practice and Experience;2016-09-16
5. Statistical model checking of Timed Rebeca models;Computer Languages, Systems & Structures;2016-04