共 50 条
- [27] From Safety Critical Java']Java Programs to Timed Process Models PROGRAMMING LANGUAGES WITH APPLICATIONS TO BIOLOGY AND SECURITY: ESSAYS DEDICATED TO PIERPAOLO DEGANO ON THE OCCASION OF HIS 65TH BIRTHDAY, 2015, 9465 : 319 - 338
- [28] Java']Java Pathfinder a translator from Java']Java to Promela THEORETICAL AND PRACTICAL ASPECTS OF SPIN MODEL CHECKING, 1999, 1680 : 152 - 152
- [30] A Comparative Analysis of Static Code Analysis Tools that check Java']Java Code Adherence to Java']Java Coding Standards 2019 2ND INTERNATIONAL CONFERENCE ON COMMUNICATION, COMPUTING AND DIGITAL SYSTEMS (C-CODE), 2019, : 98 - 103