Java Modeling Language
Related papers: 3
Top Researchers
Top Cited Papers
Model checking JAVA programs using JAVA PathFinder
Klaus Havelund, Thomas Pressburger
Citations: 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
Citations: 4 • 2010
Formal Verification of Control Software: A Case Study
Andreas Griesmayer, Roderick Bloem, Martin Hautzendorfer, Franz Wotawa
Citations: 2 • 2005