Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Software Engineering and Formal Methods, p.253-269
Volltextzugriff (PDF)
35th IFIPWG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, Bergamo, Italy, 2023, Vol.14131 LNCS, p.143-159
2023
Volltextzugriff (PDF)
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.344-359
Volltextzugriff (PDF)
Software Technologies: Applications and Foundations, p.163-178
Volltextzugriff (PDF)
Formal Aspects of Component Software, p.3-19
Volltextzugriff (PDF)
Testing Software and Systems, 2018, Vol.11146, p.17-32
2018
Volltextzugriff (PDF)
Logic, Computation and Rigorous Methods, 2021, Vol.12750, p.215-238
2021
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.105-111
Volltextzugriff (PDF)
Lecture notes in computer science, 1999, p.146-162
1999
Volltextzugriff (PDF)
Testing Software and Systems, p.22-40
Volltextzugriff (PDF)
ICTSS 2023: Testing Software and Systems, 2023, Vol.14131, p.237-243
2023
Volltextzugriff (PDF)
Tests and Proofs, p.129-146
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.87-111
2005
Volltextzugriff (PDF)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, Vol.6143, p.6-21
2010
Volltextzugriff (PDF)
Testing Software and Systems, p.65-72
Volltextzugriff (PDF)
ICTs for Improving Patients Rehabilitation Research Techniques, 2017, Vol.665, p.116-125
2017
Volltextzugriff (PDF)
Tests and Proofs, p.66-83
Volltextzugriff (PDF)
Integrated Formal Methods, p.495-503
Volltextzugriff (PDF)
Tests and Proofs, p.189-206
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.223-232
Volltextzugriff (PDF)
Software Technology: Methods and Tools, p.89-103
Volltextzugriff (PDF)
Advances and Trends in Artificial Intelligence. From Theory to Practice, p.207-215
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Theoretical Computing
- Abstract State Machine
- Software Engineering
- Software
- Automata. Abstract Machines. Turing Machines
- Test Suite
- Model Checker
- Abstract State Machines
- Congresses
- Coverage Criterion
- Formal Methods
- Language Theory And Syntactical Analysis
Kollektion