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...The Journal of systems and software, 2013-08, Vol.86 (8), p.1978-2001
2013
Volltextzugriff (PDF)
Software testing, verification & reliability, 2011-03, Vol.21 (1), p.55-71
2011
Volltextzugriff (PDF)
Journal of automated reasoning, 2023-09, Vol.67 (3), p.32, Article 32
2023
Volltextzugriff (PDF)
Formal Approaches to Software Testing and Runtime Verification, 2006, p.1-19
2006
Volltextzugriff (PDF)
Formal Approaches to Software Testing, 2006, p.118-133
2006
Volltextzugriff (PDF)
Formal Approaches to Software Testing, 2006, p.16-31
2006
Volltextzugriff (PDF)
Formal Approaches to Software Testing, 2006, p.32-46
2006
Volltextzugriff (PDF)
Formal Approaches to Software Testing, 2006, p.103-117
2006
Volltextzugriff (PDF)
Formal Approaches to Software Testing, 2006, p.72-86
2006
Volltextzugriff (PDF)
Software, practice & experience, 2011-09, Vol.41 (10), p.1073-1103
2011
Volltextzugriff (PDF)
Formal Approaches to Software Testing, 2006, p.203-217
2006
Volltextzugriff (PDF)
Integrated Formal Methods, 2000, p.338-357
2000
Volltextzugriff (PDF)
Formal Approaches to Software Testing, 2006, p.170-186
2006
Volltextzugriff (PDF)
Formal Approaches to Software Testing, 2006, p.47-61
2006
Volltextzugriff (PDF)
Formal Approaches to Software Testing, 2006, p.62-71
2006
Volltextzugriff (PDF)
Formal Approaches to Software Testing, 2006, p.134-151
2006
Volltextzugriff (PDF)
International journal of software engineering and knowledge engineering, 2006-10, Vol.16 (5), p.705-726
2006
Volltextzugriff (PDF)
Formal Methods and Testing, 2008, Vol.4949, p.39-76
2008
Volltextzugriff (PDF)
Formal Approaches to Software Testing, 2006, p.152-169
2006
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Telecommunications
- Software Engineering
- Theoretical Computing
- Testing
- Model-Based Testing
- Programming Theory
- Label Transition System
- Model Check
- Programming Languages
- Computer Systems And Distributed Systems. User Interface
- Protocols
Kollektion
- IngentaConnect
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library Complete
- IEEE Electronic Library Online
- Elsevier ScienceDirect Journals Complete
- EZB Electronic Journals Library
- Wiley Online Library Journals Frontfile Complete
- IngentaConnect Journals
- Wiley Online Library Full Collection 2018
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Cambridge Journals Online (DEFF)
- Business Source Ultimate
- Journals@Ovid Full Text
- Springer Nature - Complete Springer Journals
Zeitschrift / Serie
- Lecture Notes In Computer Science
- Software Engineering Notes
- Acm Sigsoft Software Engineering Notes
- Communications Of The Acm
- Electronic Notes In Theoretical Computer Science
- Formal Approaches To Software Testing
- Information And Software Technology
- Integrated Formal Methods
- Integrated Formal Methods, Proceedings
- International Journal Of Software Engineering And Knowledge Engineering