„Model-checking“

Suchergebnisse

1.904 Treffer

• Formal methods for hardware verification – advanced lectures
  Bernardo, Marco 2006 Springer
• Symbolic semantics and verification of stochastic process algebras – = Symbolische Semantik und Verifikation stochastischer Prozessalgebren
  Kuntz, Matthias
• On games and logics over dynamically changing structures
  Rohde, Philipp
• Advances in verification of time Petri nets and timed automata – a temporal logic approach
  Penczek, Wojciech ; Półrola, Agata 2006 Springer
• Model checking software – proceedings
  Valmari, Antti 2006 Springer
• Tools and algorithms for the construction and analysis of systems – 12th international conference ; proceedings
  Hermanns, Holger 2006 Springer
• Modellbasierte Modulprüfung für die Entwicklung technischer, softwareintensiver Systeme mit Real-Time Object-Oriented Modeling
  Robinson-Mallett, Christopher
• Hardware and software verification and testing – revised selected papers
  Ur, Shmuel 2006 Springer
• Calendars as types – data modeling, constraint reasoning, and type checking with calendars
  Spranger, Stephanie 2006 Utz
• Dependability engineering
  Hasselbring, Wilhelm 2006 GITO
• Verification, model checking, and abstract interpretation – 7th international conference ; proceedings
  Emerson, E. Allen 2006 Springer
• Strategy machines – representation and complexity of strategies in infinite games
  Gelderie, Marcus
• Integrated formal methods – 5th international conference proceedings
  Romijn, Judi 2005 Springer
• Formal methods and software engineering – proceedings
  Lau, Kung-Kiu 2005 Springer
• EXPERIMENT FOR INTEGRATING DUTCH 3D SPATIAL PLANNING AND BIM FOR CHECKING BUILDING PERMITS
  van Berlo, L. ; Dijkmans, T. ; Stoter, J.
• Identificação de erros em programas de controle escritos em Ladder – Uma abordagem baseada em Model Checking (e com a aplicação da ferramenta UPPAAL)
  Sarmento, Cleber Alves 2017 Novas Edições Acadêmicas
• Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking
  Rehfeld, Stephan 2017
• Language-specific model checking of UML-RT models
  Zurowska, Karolina ; Dingel, Juergen
• RFID-based scale model freight car system allowing realtime quantity checking
  Joo, Hae-Jong ; Cho, Moon-Taek ; Jeong, Hwa-Young
• Cost-aware horizontal scaling of NoSQL databases using probabilistic model checking
  Naskos, Athanasios ; Gounaris, Anastasios ; Katsaros, Panagiotis