Search results

• IFM
  |Field=Formal methods |Title=International Conference on Integrated Formal Methods
  113 bytes (14 words) - 20:33, 3 November 2021
• FM 2008
  | Series=International Symposium on Formal Methods | Title =15th International Symposium on Formal Methods 2008
  541 bytes (63 words) - 02:52, 6 December 2021
• NFM 2017
  |Field=formal methods, safet critical systems, software engineering, testing |Title=NFM 2017 : The 9th NASA Formal Methods Symposium
  464 bytes (59 words) - 03:06, 6 December 2021
• ICFEM
  |Title=International Conference on Formal Engineering Methods
  122 bytes (14 words) - 19:21, 3 November 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 (173 words) - 03:06, 6 December 2021
• FEM
  |Title =International Conference on Formal Engineering Methods
  128 bytes (17 words) - 02:26, 6 December 2021
• SEFM
  |Title =International Conference on Software Engineering and Formal Methods
  143 bytes (19 words) - 03:11, 6 December 2021
• CAV 2021
  * Formal methods for cyber-physical systems * Verification methods for parallel and concurrent systems
  2 KB (186 words) - 02:35, 6 December 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 (457 words) - 03:11, 6 December 2021
• IJCCBS-SI 2016
  |Field=computer science, security, safety, formal methods ...S-SI 2016 : Int. J. of Critical Computer-Based Systems. Special Issue on: Methods and Tools for Assurance of Critical Infrastructure Protection
  479 bytes (60 words) - 01:51, 25 January 2022
• 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 KB (133 words) - 02:26, 6 December 2021
• ICFEM 2007
  | Title=International Conference on Formal Engineering Methods 2007
  333 bytes (39 words) - 03:21, 6 December 2021
• IEICE Trans D Form Appr 2018 : Special Section on Formal Approaches at IEICE Transactions on Information and Systems
  |Field=formal methods |Title=IEICE Trans D Form Appr 2018 : Special Section on Formal Approaches at IEICE Transactions on Information and Systems
  4 KB (595 words) - 02:29, 6 December 2021
• SEFM 2007
  | Title =IEEE International Conference on Software Engineering and Formal Methods 2007
  371 bytes (43 words) - 03:26, 6 December 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 (276 words) - 02:51, 6 December 2021
• FASE 2000
  *Methods for the design of high quality software, relying on formal approaches to specification, refinement, testing and validation *The use of program derivation and transformation methods to support software production
  3 KB (349 words) - 02:35, 11 December 2021
• CAV 2020
  * Formal methods for cyber-physical systems * Verification methods for parallel and concurrent systems
  3 KB (348 words) - 01:46, 7 December 2021
• FSEN 2017
  |Field=system verification, software engineering, formal methods, software testing
  431 bytes (53 words) - 03:07, 6 December 2021
• ESOP 2007
  *Design of programming languages and calculi and their formal properties *Techniques, methods, and tools for their implementation
  1 KB (158 words) - 02:55, 11 December 2021
• FCT 2009
  heuristic methods; parallel and distributed computing; circuits and boolean functions; online ...computability and nonstandard computing models; algebraic and categorical methods; logics and model
  2 KB (294 words) - 03:35, 6 December 2021

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