Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Open Access
    Datensatz exportieren als...
  • BibTeX
Design and validation of a C++ code generator from Abstract State Machines specifications
Journal of software : evolution and process, 2020-02, Vol.32 (2), p.n/a
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
RATE: A model‐based testing approach that combines model refinement and test execution
Software testing, verification & reliability, 2023-03, Vol.33 (2), p.n/a
2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Visual Notation and Patterns for Abstract State Machines
Software Technologies: Applications and Foundations, p.163-178
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino
NASA Formal Methods, 2017, Vol.10227, p.295-301
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Unified Syntax for Abstract State Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.231-236
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
ABZ 2014: The Landing Gear Case Study, p.36-51
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines
Abstract State Machines 2003, 2003, p.186-203
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Modeling and Verification Framework for Ethereum Smart Contracts
Rigorous State-Based Methods, p.201-207
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Lean Reflective Abstract State Machine Definition
Rigorous State-Based Methods, p.99-104
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Scenario-Based Validation Language for ASMs
Abstract State Machines, B and Z, p.71-84
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Framework for Proving Contract-Equipped Classes
Abstract State Machines 2003, 2003, p.108-125
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Abstract State Processes
Abstract State Machines 2003, 2003, p.22-32
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Privacy, Abstract Encryption and Protocols: An ASM Model - Part I
Abstract State Machines 2003, 2003, p.372-390
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Unified Formal Specification and Analysis of the New Java Memory Models
Abstract State Machines 2003, 2003, p.166-185
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
ASMs versus Natural Semantics: A Comparison with New Insights
Abstract State Machines 2003, 2003, p.293-309
2003
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Model-Driven Testing for Web Applications Using Abstract State Machines
Current Trends in Web Engineering, p.71-78
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Ten Reasons to Metamodel ASMs
Rigorous Methods for Software Construction and Analysis, p.33-49
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Encoding Abstract State Machines in PVS
Abstract State Machines - Theory and Applications, 2000, p.303-322
2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
ASM
Software Specification Methods, 2006, p.103-119
2006
Volltextzugriff (PDF)
1 – 19 von 19
Suche als RSS-Feed
Aktive Filter
ThemaAbstract State Machine
Suchergebnisse filtern
Filter anzeigen