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
Decomposition-Based Approach for Model-Based Test Generation
IEEE transactions on software engineering, 2019-05, Vol.45 (5), p.507-520
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
SMT-Based Automatic Proof of ASM Model Refinement
Software Engineering and Formal Methods, p.253-269
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines
2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2020, p.157-166
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Using 3D for rebalancing the visual system of amblyopic children
2011 International Conference on Virtual Rehabilitation, 2011, p.1-7
2011
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Using model checking to generate tests from requirements specifications
Software engineering notes, 1999-11, Vol.24 (6), p.146-162
1999
Volltextzugriff (PDF)
1 – 5 von 5
Suche als RSS-Feed
Aktive Filter
SpracheJapanisch
Suchergebnisse filtern
Filter anzeigen