Search results

• FM 2008
  | Title=15th International Symposium on Formal Methods 2008 | Series=International Symposium on Formal Methods
  504 bytes (55 words) - 17:59, 13 January 2021
• IFM
  |Title=International Conference on Integrated Formal Methods |Field=Formal methods
  113 bytes (14 words) - 18:02, 13 January 2021
• FM
  ...on Formal Methods''' ('''FM''') conference series is organized by [[Formal Methods Europe]]. [[Category:Formal methods]]
  303 bytes (35 words) - 18:00, 13 January 2021
• NFM 2017
  |Title=NFM 2017 : The 9th NASA Formal Methods Symposium |Field=formal methods, safet critical systems, software engineering, testing
  450 bytes (51 words) - 18:21, 13 January 2021
• FEM
  |Title=International Conference on Formal Engineering Methods
  113 bytes (15 words) - 18:00, 13 January 2021
• SEFM
  |Title=International Conference on Software Engineering and Formal Methods
  127 bytes (17 words) - 18:04, 13 January 2021
• ICFEM
  |Title=International Conference on Formal Engineering Methods
  122 bytes (14 words) - 18:01, 13 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) - 18:19, 13 January 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 (448 words) - 18:32, 13 January 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
  469 bytes (58 words) - 18:11, 13 January 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,009 bytes (123 words) - 18:27, 13 January 2021
• ICFEM 2007
  | Title=International Conference on Formal Engineering Methods 2007
  316 bytes (31 words) - 18:05, 13 January 2021
• SEFM 2007
  | Title=IEEE International Conference on Software Engineering and Formal Methods 2007
  316 bytes (33 words) - 18:28, 13 January 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 (593 words) - 18:10, 13 January 2021
• CAV 2020
  * Formal methods for cyber-physical systems * Verification methods for parallel and concurrent systems
  2 KB (291 words) - 17:49, 13 January 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) - 17:59, 13 January 2021
• FM 2011
  |Title=17th International Symposium on Formal Methods |Series=International Symposium on Formal Methods
  7 KB (993 words) - 17:59, 13 January 2021
• FSEN 2017
  |Field=system verification, software engineering, formal methods, software testing
  418 bytes (51 words) - 18:00, 13 January 2021
• SBMF 2009
  |Title=Brazilian Symposium on Formal Methods 13th BRAZILIAN SYMPOSIUM ON FORMAL METHODS
  7 KB (1,094 words) - 18:27, 13 January 2021
• SDKB 2008
  * Formal models for data and knowledge bases * Formal Methods for data and knowledge base design
  2 KB (271 words) - 18:27, 13 January 2021

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