Treffer: LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)

Title:
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)
Authors:
Colombo, Christian, Pace, Gordon J., Schneider, Gerardo
Source:
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods Software Engineering and Formal Methods, 2009 Seventh IEEE International Conference on. :33-37 Nov, 2009
Relation:
2009 IEEE International Conference on Software Engineering and Formal Methods (SEFM)
Database:
IEEE Xplore Digital Library