Real-Time Java
Blogging about Real-time Java Programming, RTSJ, Safety-Critical Java, RT Garbage Collection, etc.
16/09/2010
Static Checker for SCJ: Paper and its Presentation
Presentation of our Static SCJ Checker is now available online:
Static Checker for Safety-Critical Java Annotations
The paper itself can be downloaded from
JTRES2010 webpage
.
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment