A toolsuite for the verification of realtime systems in eclipse (2006)

by Lucía Cavatorta , Guido De Caso , Diego Garbervetsky , Nicolás Kicillof
Venue:In ETX 2006: OOPSLA workshop on eclipse Technology eXchange
Citations:1 - 0 self