Searching for "Leveraging Applications of Formal Methods" – 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.

Development of Transportation Systems
by Dines Bjørner — 2007
… On Leveraging Applications of Formal Methods, Verification and Validation. Special Workshop Theme: Formal…
Cited by 1 (1 self) – Add To MetaCart

Chronos: A timing analyzer for embedded software
by Xianfeng Li, Yun Liang, Tulika Mitra, Abhik Roychoudhury — 2007 — Science of Computer Programming
… International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISo…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 2.

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