Sortiert nach
Biomedical Engineering Systems and Technologies, 2023, p.139-157
2023
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)
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)
Testing Software and Systems, p.202-218
Volltextzugriff (PDF)
Testing Software and Systems, p.52-70
Volltextzugriff (PDF)
Testing Software and Systems, p.219-236
Volltextzugriff (PDF)
Testing Software and Systems, p.115-125
Volltextzugriff (PDF)
Testing Software and Systems, p.257-265
Volltextzugriff (PDF)
Testing Software and Systems, p.21-39
Volltextzugriff (PDF)
Testing Software and Systems, p.160-175
Volltextzugriff (PDF)
Testing Software and Systems, p.247-256
Volltextzugriff (PDF)
Testing Software and Systems, p.183-201
Volltextzugriff (PDF)
Testing Software and Systems, p.80-96
Volltextzugriff (PDF)
Testing Software and Systems, p.40-51
Volltextzugriff (PDF)
Testing Software and Systems, p.73-79
Volltextzugriff (PDF)
Testing Software and Systems, p.126-142
Volltextzugriff (PDF)
Testing Software and Systems, p.3-20
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)
Hardware and Software: Verification and Testing, p.220-235
Volltextzugriff (PDF)
Rigorous State-Based Methods, 2020, p.302-317
2020
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.105-111
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Abstract State Machine
- Event-B
- Formal Methods
- Abstract State Machines
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Test Suite
- Model Check
- Model Checker
- Theoretical Computing
- Coverage Criterion
- Linear Temporal Logic
- Temporal Logic
- Verification
Kollektion
Neu hinzugefügt