„Model-checking“

Suchergebnisse

1.904 Treffer

• Formal Verification of Space Missions Communication Protocols – In the frame of project Space Link Extension – Service Management (SLE-SM)
  Khan, Muhammad Taimoor 2012 LAP LAMBERT Academic Publishing
• An Efficient Finite Tree Automata Library – The Design of BDD-based Semi-symbolic Algorithms for Nondeterministic Finite Tree Automata
  Lengál, Ondřej 2012 LAP LAMBERT Academic Publishing
• Application de Contrôle Industriel à base de Composants – Validation Temporelle et Déploiement
  Khalgui, Mohamed 2012 Presses Académiques Francophones
• Reconfigurable Embedded Control Systems – Problems and Solutions
  Khalgui, Mohamed 2012 LAP LAMBERT Academic Publishing
• Protocol Engineering
  König, Hartmut 2012 Springer Berlin Heidelberg
• Verification of continuous-space stochastic systems
  Mereacre, Alexandru
• Simulation, modeling, and programming for autonomous robots – third international conference ; proceedings
  Noda, Itsuki ; Ando, Noriako ; Brugali, Davide ; Kuffner, James J. 2013 Springer
• Formal methods and software engineering – proceedings
  Aoki, Toshiaki ; Taguchi, Kenji 2012 Springer
• Model checking for L2
  Seidl, Helmut 1997 Univ., Mathematik/Informatik
• Hardware and software: verification and testing – revised selected papers
  Eder, Kerstin ; Lourenҫo, João ; Shehory, Onn 2012 Springer
• Leveraging applications of formal methods, verification and validation
  2012 Springer
• Leveraging applications of formal methods, verification and validation
  2012 Springer
• Rewriting logic and its applications – 9th international workshop ; revised selected papers
  Durán, Francisco 2012 Springer
• Software engineering and formal methods – 10th international conference ; proceedings
  Eleftherakis, George ; Hinchey, Mike ; Holcombe, Mike 2012 Springer
• Theoretical Aspects of Computing – ICTAC 2012 – 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings
  Roychoudhury, Abhik ; D'Souza, Meenakshi 2012 Springer Berlin Heidelberg
• Mechanical Verification of Parameterized Real-Time Systems – A Formal Framework and its Application to a Real-Time Operating System Scheduler
  Göthel, Thomas 2012 Südwestdeutscher Verlag für Hochschulschriften
• Computer safety, reliability, and security – 31st international conference ; proceedings
  Ortmeier, Frank ; Daniel, Peter 2012 Springer
• Computational methods in systems biology – 10th international conference ; proceedings
  Gilbert, David ; Heiner, Monika 2012 Springer
• Slicing and reduction techniques for model checking Petri nets
  Rakow, Astrid
• FM 2012: Formal Methods – 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
  Giannakopoulou, Dimitra ; Méry, Dominique 2012 Springer Berlin Heidelberg