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)
The Journal of systems and software, 2024-03, Vol.209, p.111920, Article 111920
2024
Volltextzugriff (PDF)
The Journal of systems and software, 2019-04, Vol.150, p.64-76
2019
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.281-288
Volltextzugriff (PDF)
Testing Software and Systems, p.274-288
Volltextzugriff (PDF)
Testing Software and Systems, 2023, p.97-114
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)
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)
Rigorous State-Based Methods, p.160-178
Volltextzugriff (PDF)
2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE), 2018, p.36-46
2018
Volltextzugriff (PDF)
Computer journal, 2015-11, Vol.58 (11), p.2900-2920
2015
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.105-111
Volltextzugriff (PDF)
Lecture notes in computer science, 1999, p.146-162
1999
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)
Rigorous State-Based Methods, p.340-357
Volltextzugriff (PDF)
Testing Software and Systems, p.266-273
Volltextzugriff (PDF)
Testing Software and Systems, p.257-265
Volltextzugriff (PDF)
Testing Software and Systems, p.126-142
Volltextzugriff (PDF)
Testing Software and Systems, p.202-218
Volltextzugriff (PDF)
Testing Software and Systems, p.21-39
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)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Theoretical Computing
- Software Testing
- Abstract State Machine
- Software
- Conferences
- Automata. Abstract Machines. Turing Machines
- Engineering
- Engineering, Electrical & Electronic
- Combinatorial Testing
- Event-B
- Software Engineering
- Testing
Kollektion
- Ingenta
- Springer Book Series (Lecture Notes)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IEEE/IET Electronic Library (IEL)
- ACM Digital Library (Association for Computing Machinery)
- ScienceDirect
- EZB Electronic Journals Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Oxford journals