Searching for "Compositional Verification of Timed Components using PVS." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Compositional verification of timed components using pvs
by Marcel Kyas, Jozef Hooman — Proceedings of Software Engineering 2006, volume P-79 of Lecture Notes in Informatics, pages 143 – 154, 2006. Available from World Wide Web: http://www.cs.ru.nl/~hooman/SE06.html
…Compositional Verification of Timed Components using PVS ∗ Marcel Kyas Christian…
Cited by 1 (0 self) – Add To MetaCart

Date of birth 30.01.1975, Pinneberg Nationality German
by Name Marcel Kyas, Prof Dr, Joost N. Kok, Paul De Roever
…. Conference papers Marcel Kyas and Jozef Hooman. Compositional verification of timed components using PVS…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB