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

Christian Colombo, Gordon J. Pace, Gerardo Schneider. LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). In Dang Van Hung, Padmanabhan Krishnan, editors, Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009. pages 33-37, IEEE Computer Society, 2009. [doi]

Authors

Christian Colombo

This author has not been identified. Look up 'Christian Colombo' in Google

Gordon J. Pace

This author has not been identified. It may be one of the following persons: Look up 'Gordon J. Pace' in Google

Gerardo Schneider

This author has not been identified. It may be one of the following persons: Look up 'Gerardo Schneider' in Google