Marcel Kyas, Jozef Hooman. Compositional Verification of Timed Components using PVS. In Bettina Biel, Matthias Book, Volker Gruhn, editors, Software Engineering 2006, Fachtagung des GI-Fachbereichs Softwaretechnik, 28.-31.3.2006 in Leipzig. Volume 79 of LNI, pages 143-154, GI, 2006.
No reviews for this publication, yet.