Sortiert nach
Software Engineering and Formal Methods, p.253-269
Volltextzugriff (PDF)
2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2020, p.157-166
2020
Volltextzugriff (PDF)
Testing Software and Systems, p.274-288
Volltextzugriff (PDF)
Biomedical Engineering Systems and Technologies, 2023, p.139-157
2023
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)
Testing Software and Systems, 2023, p.97-114
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)
Electronic proceedings in theoretical computer science, 2021, Vol.349, p.13-29
2021
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)
2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE), 2018, p.36-46
2018
Volltextzugriff (PDF)
Logic, Computation and Rigorous Methods, 2021, Vol.12750, p.215-238
2021
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)
Testing Software and Systems, p.266-273
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.340-357
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
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
- Software Testing
- Software
- Software Engineering
- Theoretical Computing
- Engineering
- Abstract State Machine
- Conferences
- Engineering, Electrical & Electronic
- Testing
- Abstract State Machines
- Combinatorial Testing
- Automata. Abstract Machines. Turing Machines
Kollektion
Neu hinzugefügt