Affiliation:
1. University of Central Florida; Orlando FL USA
Subject
Computational Theory and Mathematics,Computer Networks and Communications,Computer Science Applications,Theoretical Computer Science,Software
Reference41 articles.
1. Sun Microsystems Inc JSR 302: safety critical java technology 2007 http://jcp.org/en/jsr/detail?id=302
2. JML’s Rich, Inherited Specifications for Behavioral Subtypes
3. Leavens GT Naumann DA Behavioral subtyping, specification inheritance, and modular reasoning Technical Report 06-20b 2006
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Further Lessons from the JML Project;The Logic of Software. A Tasting Menu of Formal Methods;2022
2. Interactive WCET Prediction with Warning for Timeout Risk;International Journal of Pattern Recognition and Artificial Intelligence;2017-02-27
3. Introduction to the special issue on Java technologies for real-time and embedded systems: JTRES2011;Concurrency and Computation: Practice and Experience;2013-04-29