„Formal Methods“

Suchergebnisse

1.421 Treffer

• Securing the System: Formal Methods for Error-Free Software
  Naviya 2024 tredition
• Mathematical Methods of Lagrangian and Hamiltonian Mechanics
  Wichmann, Bernd 2024 tredition
• Formal concept analysis methods for description logics
  Sertkaya, Barış
• Formal methods for components and objects – 6th international symposium ; revised papers
  Boer, Frank S. ˜deœ 2008 Springer
• Formal methods for industrial critical systems – 13th international workshop ; revised selected papers
  Cofer, Darren 2009 Springer
• Formal methods for components and objects – 7th international symposium ; revised lectures
  Boer, Frank S. ˜deœ 2009 Springer
• Automated methods for formal proofs in simple arithmetics and algebra
  Chaieb, Amine
• Formal computational methods for control theory
  Robertz, Daniel
• Compositional verification of industrial control systems – methods and case studies
  Lukoschus, Ben
• Developing concepts and methods for module and integration tests for models of reactive systems
  Kyeyune, Yusufu
• CALPHAD-Based Computational Study and Thermodynamic Evaluation of the Ga-Nd Binary System Using the Redlich-Kister formalism with Linear and Exponential Functions
  Ait Boukideur, Mustapha ; Azza, Hassan ; Hammadi, Mohamed ; Bouchta, Hamza ; Ait Hssain, Mustapha ; Idbenali, Mohamed ; Chrifi Alaoui, Fatima Zahra ; Selhaoui, Najim
• Formal methods for real-time requirements engineering
  Rock, Georg
• High-level methods for OBDD-based sequential verification
  Stangier, Christian
• Web Services and Formal Methods – 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
  Dumas, Marlon 2008 Springer International Publishing
• Fundamentals of Computation Theory – 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings
  Kutyłowski, Mirosław 2009 Springer International Publishing
• Formal Methods for Web Services – 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
  Bernardo, Marco 2009 Springer Berlin Heidelberg
• Formal Modeling and Verification of Cyber-Physical Systems – 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
  2015 Springer Fachmedien Wiesbaden
• Formal Methods: Foundations and Applications – 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
  Braga, Christiano ; Martí-Oliet, Narciso 2015 Springer International Publishing
• Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
  Margaria, Tiziana ; Steffen, Bernhard 2014 Springer Berlin Heidelberg
• Testing Software and Systems – 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
  Merayo, Mercedes G. ; Montes de Oca, Edgardo 2014 Springer Berlin Heidelberg