Compositional Verification of Timed Components using PVS - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Marcel Kyas' in GoogleThis author has not been identified. Look up 'Jozef Hooman' in Google

runs on WebDSL