„Model-checking“

Suchergebnisse

1.904 Treffer

• Stabilization, safety, and security of distributed systems – 14th international symposium ; proceedings
  Richa, Andréa W. ; Scheideler, Christian 2012 Springer
• Model building and model checking for biochemical processes
  Antoniotti, Marco ; Policriti, Alberto ; Ugel, Nadia ; Mishra, Bud
• Combining local and global model checking
  Biere, Armin ; Clarke, Edmund M. ; Zhu, Yunshan 2023 Universität
• Combining local and global model checking
  Biere, Armin ; Clarke, Edmund M. ; Zhu, Yunshan 1998 Univ., Fak. für Informatik
• A simulation-intensive approach for checking hierarchical models
  Dey, Dipak K. ; Gelfand, Alan E. ; Swartz, Tim B. ; Vlachos, Pantelis K.
• A Bigraphical Framework for Modeling and Simulation of UAV-based Inspection Scenarios
  Grzelak, Dominik ; Lindner, Martin ; Aßmann, Uwe ; Fricke, Hartmut 2024 Technische Universität Dresden
• Transactions on Petri nets and other models of concurrency XVI
  Koutny, Maciej 2022 Springer
• Carl Adam Petri: Ideas, Personality, Impact
  Rozenberg, Grzegorz ; Reisig, Wolfgang 2019 Springer International Publishing
• Verification, model checking, and abstract interpretation – 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 ; proceedings
  Jobstmann, Barbara ; Leino, K. Rustan M. 2016 Springer
• Abstraction Refinement for Large Scale Model Checking
  Wang, Chao ; Hachtel, Gary D. ; Somenzi, Fabio 2006 Springer International Publishing
• Consistency management of object oriented behavioral models
  Küster, Jochen M. 2004 Shaker
• Analyzing Energy-Efficient and Kubernetes-Based Autoscaling of Microservices Using Probabilistic Model Checking
  Agos Jawaddi, Siti Nuraishah ; Ismail, Azlan ; Sulaiman, Mohd Suffian ; Cardellini, Valeria
• Logical Foundations of Cyber-Physical Systems
  Platzer, André 2018 Springer International Publishing
• Tests and proofs – second international conference ; proceedings
  Beckert, Bernhard 2008 Springer
• Automated Technology for Verification and Analysis – 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings
  Namjoshi, Kedar S. 2007 Springer International Publishing
• Automated technology for verification and analysis – 5th international symposium ; proceedings
  Namjoshi, Kedar S. 2007 Springer
• Verification, model checking, and abstract interpretation – 11th international conference ; proceedings
  Barthe, Gilles 2010 Springer
• Verification, model checking, and abstract interpretation – 8th international conference ; proceedings
  Cook, Byron 2007 Springer
• Model checking software – proceedings
  Ball, Thomas 2003 Springer
• Handbook of Model Checking
  2018 Springer International Publishing