Search results

• FM 2008
  | Title=15th International Symposium on Formal Methods 2008 | Series=International Symposium on Formal Methods
  504 bytes (55 words) - 12:26, 28 January 2021
• IFM
  |Title=International Conference on Integrated Formal Methods |Field=Formal methods
  113 bytes (14 words) - 11:26, 17 February 2021
• FM
  ...on Formal Methods''' ('''FM''') conference series is organized by [[Formal Methods Europe]]. [[Category:Formal methods]]
  303 bytes (35 words) - 12:26, 28 January 2021
• NFM 2017
  |Title=NFM 2017 : The 9th NASA Formal Methods Symposium |Field=formal methods, safet critical systems, software engineering, testing
  456 bytes (52 words) - 11:11, 8 March 2021
• FEM
  |Title=International Conference on Formal Engineering Methods
  113 bytes (15 words) - 12:26, 28 January 2021
• SEFM
  |Title=International Conference on Software Engineering and Formal Methods
  127 bytes (17 words) - 11:28, 17 February 2021
• ICFEM
  |Title=International Conference on Formal Engineering Methods
  122 bytes (14 words) - 12:36, 28 January 2021
• MEMOCODE 2009
  | Title = Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign practitioners who create methods, tools, and architectures for
  1 KB (165 words) - 20:01, 17 February 2021
• TSFME 2011
  |Title=CSEDU International Workshop on Tool Support for Formal Methods Education Conference name: CSEDU International Workshop on Tool Support for Formal Methods Education - TSFME 2011
  3 KB (449 words) - 11:23, 8 March 2021
• IJCCBS-SI 2016
  ...S-SI 2016 : Int. J. of Critical Computer-Based Systems. Special Issue on: Methods and Tools for Assurance of Critical Infrastructure Protection |Field=computer science, security, safety, formal methods
  475 bytes (59 words) - 11:01, 8 March 2021
• SDE 2009
  |Title=Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering * Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering
  1,015 bytes (124 words) - 11:18, 8 March 2021
• ICFEM 2007
  | Title=International Conference on Formal Engineering Methods 2007
  316 bytes (31 words) - 12:36, 28 January 2021
• SEFM 2007
  | Title=IEEE International Conference on Software Engineering and Formal Methods 2007
  316 bytes (33 words) - 20:14, 17 February 2021
• IEICE Trans D Form Appr 2018 : Special Section on Formal Approaches at IEICE Transactions on Information and Systems
  |Title=IEICE Trans D Form Appr 2018 : Special Section on Formal Approaches at IEICE Transactions on Information and Systems |Field=formal methods
  4 KB (594 words) - 11:00, 8 March 2021
• CAV 2020
  * Formal methods for cyber-physical systems * Verification methods for parallel and concurrent systems
  2 KB (292 words) - 10:33, 8 March 2021
• FMCAD 2008
  | Title = Formal Methods in Computer-Aided Design ...ts, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specificati
  2 KB (269 words) - 12:26, 28 January 2021
• FM 2011
  |Title=17th International Symposium on Formal Methods |Series=International Symposium on Formal Methods
  7 KB (994 words) - 10:45, 8 March 2021
• FSEN 2017
  |Field=system verification, software engineering, formal methods, software testing
  424 bytes (52 words) - 10:45, 8 March 2021
• SBMF 2009
  |Title=Brazilian Symposium on Formal Methods 13th BRAZILIAN SYMPOSIUM ON FORMAL METHODS
  7 KB (1,095 words) - 11:18, 8 March 2021
• SDKB 2008
  * Formal models for data and knowledge bases * Formal Methods for data and knowledge base design
  2 KB (271 words) - 20:13, 17 February 2021

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)