Sortiert nach
Software Engineering and Formal Methods, p.243-256
Link zum Volltext
IEEE transactions on software engineering, 2024-04, Vol.50 (4), p.765-784
2024
- Link zum Volltext
Formal Methods, p.93-109
Link zum Volltext
Tests and Proofs, p.112-128
Link zum Volltext
Software quality journal, 2019-06, Vol.27 (2), p.651-674
2019
Link zum Volltext
Ai and ethics (Online), 2024-02, Vol.4 (1), p.37-46
2024
Link zum Volltext
Software quality journal, 2019-06, Vol.27 (2), p.651-674
2019
Link zum Volltext
Testing Software and Systems, 2018, Vol.11146, p.119-134
2018
Link zum Volltext
Testing Software and Systems, p.126-141
Link zum Volltext
2013 13th International Conference on Application of Concurrency to System Design, 2013, p.100-109
2013
- Link zum Volltext
Automated Technology for Verification and Analysis, p.106-121
Link zum Volltext
Application and Theory of Petri Nets and Concurrency, p.253-272
Link zum Volltext
2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS), 2019, p.362-373
2019
Link zum Volltext
2011 Eleventh International Conference on Application of Concurrency to System Design, 2011, p.19-28
2011
- Link zum Volltext
Technologie et innovation, 2023-01, Vol.8 (1)
2023
Link zum Volltext
2020 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech), 2020, p.35-40
2020
Link zum Volltext
2019 International Conference on Cybersecurity (ICoCSec), 2019, p.1-6
2019
Link zum Volltext
2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS), 2019, p.326-333
2019
Link zum Volltext
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
- Conformance Testing
- Machine Identification
- Machine Inference
- Active Learning
- Engineering
- Engineering, Electrical & Electronic
- Sat Solving
- Software Engineering
- Active Inference
- Adaptive Testing
- Automation & Control Systems
- Checking Experiments
- Checking Sequences
- Component-Based Systems
- Computational Modeling
Kollektion
Zeitschrift / Serie