MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Integrated Formal Methods" – sorted by Relevance.

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

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

221 documents found, showing 1 through 10. Next 10 →

ATOM

Integrated Formal Methods
by Andy Galloway, Bill Stoddart, High Intergrity, Systems Engineering — 1997
…Integrated Formal Methods Andy Galloway and Bill Stoddart High Intergrity Systems Engineering…
Cited by 3 (1 self) – Add To MetaCart

Slicing an Integrated Formal Method for Verification
by Ingo Brückner, Heike Wehrheim — 2005 — In Proc. of ICFEM’05, volume 3785 of LNCS
…Slicing an Integrated Formal Method for Verification ⋆ Ingo Brückner 1 and Heike Wehrheim 2 1…
Cited by 7 (4 self) – Add To MetaCart

HDL-Based Integration of Formal Methods and CAD
by Tools In The, D. Borrione, H. Bouamama, D. Deharbe, C. Le Faou, A. Wahba — 1996 — of Lecture Notes in Computer Science
…, 6-8 November 1996 1 HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL…
Add To MetaCart

INTEGRATED FORMAL METHODS FOR SAFETY ANALYSIS OF TRAIN SYSTEMS
by Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn
…INTEGRATED FORMAL METHODS FOR SAFETY ANALYSIS OF TRAIN SYSTEMS Wolfgang Reif, Frank Ortmeier…
Add To MetaCart

On the Integration of Formal Methods: Events and Scenarios in PVS and VDM
by Georg Droschl — 1999
…On the Integration of Formal Methods: Events and Scenarios in PVS and VDM Georg Droschl Austrian…
Cited by 2 (1 self) – Add To MetaCart

Integration of Formal Methods into System Safety and Reliability Analysis
by Ove Akerlund, S.Nadjm-Tehrani, Gunnar Stålmarck, O. Akerlund, Saab Ab, Aerospace Linkoping — 1999 — In Proceedings of 17 th International Systems Safety Conference
…Integration of Formal Methods into System Safety and Reliability Analysis O. Akerlund; Saab AB…
Cited by 5 (3 self) – Add To MetaCart

HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL Environment
by D. Borrione, H. Bouamama, D. Deharbe, C. Le Faou, A. Wahba — 1996 — of Lecture Notes in Computer Science
…, 6-8 November 1996 1 HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL…
Cited by 3 (0 self) – Add To MetaCart

HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL Environment
by Borrione Bouamama Deharbe, D. Borrione, H. Bouamama, D. Deharbe, C. Le Faou, A. Wahba — 1996 — of Lecture Notes in Computer Science
…, 6-8 November 1996 1 HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL…
Add To MetaCart

UML in Action: Integrating Formal Methods in Industrial Design Education
by Jun Hu, Philip Ross, Yuechen Qian
…UML in Action: Integrating Formal Methods in Industrial Design Education Jun Hu 1 , Philip Ross 1…
Add To MetaCart

A Methodology for integration of formal methods in a healthcare case study
by Luigia Petre, Elena Troubitsyna, Marina Waldén, Pontus Boström, Niklas Engblom, Micaela Jansson
…A Methodology for integration of formal methods in a healthcare case study Luigia Petre, Elena…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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