Combining Time and Concurrency in Model-Based Statistical Testing of Embedded Real-Time Systems.

Daniel Homm, Jrgen Eckert, Reinhard German

Browse the full SEFM paper archive.