MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Formal Methods for Industrial Applications" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 16 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Formal Methods for Industrial Applications: A Case Study  
  • by Gunter Leeb Leeb, Gunter Leeb, Nancy Lynch — 1996 — Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
  • … Safety Properties of the Steam Boiler Controller Formal Methods for Industrial Applications: A Case…
  • Add To MetaCart
  • Developing Tools for Formal Methods  
  • by P. Kefalas, G. Eleftherakis, A. Sotiriadou — 2003 — In 9th Panhellenic Conference on Informatics, Thessaloniki
  • … there are several cases proving the applicability of formal methods in industrial applications [3] showing very good…
  • Cited by 6 (4 self) – Add To MetaCart
  • Formal Specification and Analysis of Requirements in Software Development  
  • by Georg Droschl, Doktor Der Technischen Wissenschaften, Technischen Universitat Graz, Andreas Kerschbaumer, Rudi Schlatte, Mention Andrew Butter Eld, John Fitzgerald, Ralf Huuck, Christian Luidolt, Walther Neuper — 2000
  • … in applying formal methods to an industrial application. Wolfgang Herzner, Walter Kuhn, and in particular…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB