„Formal Methods“

Suchergebnisse

1.421 Treffer

• Formal methods and software engineering – proceedings
  Dong, Jin Song 2003 Springer
• 2nd BCS FACS Northern Formal Methods Workshop – proceedings of the 2nd BCS FACS Northern Formal Methods Workshop, Ilkley, UK, 14 - 15 July 1997
  Duke, David J. 1998 Springer
• Modeling telecom networks and systems architecture – conceptual tools and formal methods
  Muth, Thomas A. 2001 Springer
• Formal Methods in Standards – a report from the BCS Working Group
  Ruggles, Clive L. N. ; Andrews, Derek 1990 Springer
• A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
  Pfähler, Jörg Michael ; Reif, Wolfgang 2018 Universität Augsburg
• Formal Methods in Poetics – A Collection of Scholarly Works Dedicated to the Memory of Professor M.A. Krasnoperova
  Scherr, Berry P. ; Bailey, James ; Kazarcev, Evgenij V. 2011 RAM-Verlag
• Tableau methods for propositional logic and term logic
  Jarmużek, Tomasz 2020 Peter Lang
• Classical Mechanics – Hamiltonian and Lagrangian Formalism
  Deriglazov, Alexei 2014 Springer Berlin
• Unifying Theories of Programming and Formal Engineering Methods – International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
  Liu, Zhiming ; Woodcock, Jim ; Zhu, Huibiao 2013 Springer Berlin Heidelberg
• Formal Methods for Mining Structured Objects
  Garriga, Gemma C. 2013 Springer Berlin Heidelberg
• The Correctness-by-Construction Approach to Programming
  Kourie, Derrick G. ; Watson, Bruce W. 2012 Springer Berlin Heidelberg
• Discovering Knowledge in Bipartite Graphs with Formal Concept Analysis
  Hanika, Tom 2019 Universitätsbibliothek Kassel
• Use of Formal and Informal Food Resources by Food Insecure Families in Lima, Peru: A Mixed-Methods Analysis
  Brewer, J. D. ; Santos, M. P. ; Lopez, M. A. ; Paz-Soldan, V. A. ; Chaparro, M. P.
• Quality Software Through Reuse and Integration
  Rubin, Stuart Harvey ; Bouabana-Tebibel, Thouraya 2018 Springer International Publishing
• Formal Methods for Discrete-Time Dynamical Systems
  Belta, Calin ; Yordanov, Boyan ; Gol, Ebru Aydin 2017 Springer International Publishing
• Formal Verification of Simulink/Stateflow Diagrams – A Deductive Approach
  Zhan, Naijun ; Wang, Shuling ; Zhao, Hengjun 2017 Springer International Publishing
• App-Orchestrierung als Methode zur formalen Modellierung von App-Ensembles für industrielle Geschäftsprozesse – = App-orchestration as a method for formal modelling of app-ensembles for industrial business processes
  Pfeffer, Johannes 2020
• Software engineering and formal methods: SEFM 2019 special section
  Ölveczky, Peter Csaba ; Salaün, Gwen
• Mixed Methods Evaluation of Formal Mentoring: Journey UP for Aging out of Foster Care
  Bonella, Barrett ; Beirwolf, Keeley ; Coleman, Lisa ; Sterger, Camille ; Pulli, Katharina ; Anguiano, Clarissa ; Barton, Keirsten
• The Changing Face of Standardization: A Place for Formal Methods?
  Duce, David ; Duke, David ; Faconti, Giorgio ; Herman, Ivan