MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Formal Methods for Industrial Critical Systems" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 17 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Publication List  
  • by U. Nitsche, P. Ochsenschlager, Zwischenbericht Gmd-/telekom-projekts Formale
  • … of the 2nd International Workshop on Formal Methods for Industrial Critical Systems (FMICS'97), Cesena…
  • Add To MetaCart
  • Facs Facts  
  • by The Newsletter Of, Fme News
  • … International Workshop on Formal Methods for Industrial Critical Systems, Paris, 16-17 July 2001 IWFM'01 5 th…
  • Add To MetaCart
  • An Overview of JML Tools and Applications  
  • by Lilian Burdy, Yoonsik Cheon, David Cok, Michael D. Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan, M. Leino, Erik Poll — 2003
  • …. Fokkink, Eds., Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS ’03…
  • Cited by 163 (32 self) – Add To MetaCart
  • and all its “references  
  • by Baer J — 1981 — Database Management, Communications of the ACM
  • … Methods for Industrial Critical Systems, Pages: 72 – 79, 2005. Izosimov, V., Pop, P., Eles, P., Peng, Z…
  • Cited by 1 (0 self) – Add To MetaCart
  • Automated incremental synthesis of timed automata  
  • by Borzoo Bonakdarpour, Eep S. Kulkarni — 2006 — In International Workshop on Formal Methods for Industrial Critical Systems (FMICS
  • … Methods in Industrial Critical Systems, LNCS, Springer-Verlag, 2006. This work was partially sponsored…
  • Cited by 1 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB