„Formal Methods“

Suchergebnisse

1.421 Treffer

• Software architecture – 7th European conference ; proceedings
  Drira, Khalil 2013 Springer
• Hamiltonian Methods in the Theory of Solitons
  Faddeev, Ljudvig D. ; Takhtajan, Leon A. 1987 Springer Berlin Heidelberg
• Software Reliability Methods
  Peled, Doron 2001 Springer New York
• Reversible computation – 5th international conference ; proceedings
  Dueck, Gerhard W. ; Miller, D. Michael 2013 Springer
• Integrated Formal Methods – 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
  Johnsen, Einar Broch ; Petre, Luigia 2013 Springer Berlin Heidelberg
• Integrated formal methods – 10th international conference ; proceedings
  Johnsen, Einar Broch ; Petre, Luigia 2013 Springer
• Formal Methods for Protocol Engineering and Distributed Systems – FORTE XII/PSTV XIX’99 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX) October 5–8, 1999, Beijing, China
  1999 Springer US
• Enhancing Event-B Pattern
  Karam Elsayed, Eman ; El-Sharawy, Gaber ; El-Sharawy, Enas 2013 LAP LAMBERT Academic Publishing
• Integrated formal methods – second international conference ; proceedings
  Grieskamp, Wolfgang 2000 Springer
• Problem solving methods – understanding, description, development, and reuse
  Fensel, Dieter 2000 Springer
• Web services and formal methods – 9th international workshop ; revised selected papers
  Beek, Maurice H. ˜terœ ; Lohman, Niels 2013 Springer
• NASA formal methods – 5th international symposium ; proceedings
  Brat, Guillaume ; Rungta, Neha ; Venet, Arnaud 2013 Springer
• Verification and Error Correction on High-Level Decision Diagrams
  Karputkin, Anton 2013 LAP LAMBERT Academic Publishing
• Software components and formal methods from a computational viewpoint
  Lambertz, Christian
• Small dynamic complexity classes – an investigation into dynamic descriptive complexity
  Zeume, Thomas 2017 Springer
• Test and diagnosis of embedded processor cores with formal methods
  Riefert, Andreas 2016 Der Andere Verlag
• Formal Methods for Distributed System Development – FORTE/PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy
  2000 Springer US
• Correct hardware design and verification methods – 10th IFIP WG 10.5 advanced research working conference ; proceedings
  Pierre, Laurence 1999 Springer
• Industrial deployment of system engineering methods
  Romanovsky, Alexander ; Thomas, Martyn 2013 Springer
• Advances in Formal Design Methods for CAD – Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995
  1996 Springer US