[IFIP On-Line Library in Computer Science] From Specification to Embedded Systems Application Volume 184 || SPECIFICATION-BASED TESTING OF REAL-TIME EMBEDDED SYSTEMSResearch partially supported by the Spanish MCYT project TIC2003-07848-C02-01, the Junta de Castilla-La Mancha project PAC-03-001, and the Marie Curie project MRTN-CT-2003-505121/TAROT.
Rettberg, Achim, Zanella, Mauro C., Rammig, Franz J.Volume:
10.1007/11
Year:
2005
Language:
english
DOI:
10.1007/11523277_12
File:
PDF, 567 KB
english, 2005