Java Modeling Language
相关论文数: 3
顶级研究者
最高引用论文
Model checking JAVA programs using JAVA PathFinder
Klaus Havelund, Thomas Pressburger
引用数: 798 • 2000
Comparing temporally aware mobile robot controllers built with Sun's Java Real-Time System, OROCOS's real-time toolkit and player
Amy L. McKenzie, Denise Gay, Rahul Nori, James Davis, Monica Anderson
引用数: 4 • 2010
Formal Verification of Control Software: A Case Study
Andreas Griesmayer, Roderick Bloem, Martin Hautzendorfer, Franz Wotawa
引用数: 2 • 2005