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...Formal methods in system design, 2022-04, Vol.60 (2), p.147-194
2022
Volltextzugriff (PDF)
The Journal of systems and software, 2017-10, Vol.132, p.353-365
2017
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2021-04, Vol.23 (2), p.229-253
2021
Volltextzugriff (PDF)
Science of computer programming, 2016-07, Vol.123, p.2-41
2016
Volltextzugriff (PDF)
Formal methods in system design, 2017-08, Vol.51 (1), p.154-199
2017
Volltextzugriff (PDF)
Formal methods in system design, 2014-12, Vol.45 (3), p.381-422
2014
Volltextzugriff (PDF)
Formal Modeling and Analysis of Timed Systems, 2020, Vol.12288, p.144-160
2020
Volltextzugriff (PDF)
Formal methods in system design, 2015-02, Vol.46 (1), p.42-80
2015
Volltextzugriff (PDF)
Model Checking Software, p.171-189
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, p.224-241
Volltextzugriff (PDF)
Logical methods in computer science, 2012-10, Vol.8, Issue 4 (4:8), p.1-33
2012
Volltextzugriff (PDF)
IEEE transactions on software engineering, 2007-08, Vol.33 (8), p.558-574
2007
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2005-08, Vol.7 (4), p.297-315
2005
Volltextzugriff (PDF)
Runtime Verification, p.306-320
Volltextzugriff (PDF)
Theoretical Aspects of Computing - ICTAC 2015, p.542-560
Volltextzugriff (PDF)
Formal Modeling and Analysis of Timed Systems, 2020, Vol.12288, p.111-126
2020
Volltextzugriff (PDF)
Formal Modeling and Analysis of Timed Systems, 2020, Vol.12288, p.249-264
2020
Volltextzugriff (PDF)
Mathematical structures in computer science, 2019-01, Vol.29 (1), p.169-214
2019
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2012-08, Vol.14 (4), p.407-437
2012
Volltextzugriff (PDF)
IEEE transactions on software engineering, 2007-04, Vol.33 (4), p.252-269
2007
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2009-07, Vol.240, p.167-184
2009
Volltextzugriff (PDF)
Algebraic Methodology and Software Technology, 2006, p.204-219
2006
Volltextzugriff (PDF)
Software testing, verification & reliability, 2014-11, Vol.24 (7), p.532-557
2014
Volltextzugriff (PDF)
IEEE transactions on reliability, 2000-03, Vol.49 (1), p.12-25
2000
Volltextzugriff (PDF)
Testing Software and Systems, p.30-46
Volltextzugriff (PDF)
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
- Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Conformance Testing
- Test Purpose
- Engineering
- Label Transition System
- Timed Automata
- Verification
- Algorithms
- Monitoring
- Software Engineering/programming And Operating Systems
- Test Generation
Kollektion
- IngentaConnect Journals
- SpringerLink Series
- Free E-Journal (出版社公開部分のみ）
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Journals
- IEEE Electronic Library (IEL)
- Elsevier ScienceDirect Journals Complete
- Journals@Ovid Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library Complete
- IngentaConnect Journals
- Taylor & Francis:Master (3349 titles)
- Taylor & Francis Journals Auto-Holdings Collection
- Taylor & Francis Current Content Access
- Wiley-Blackwell Journals
- Cambridge Journals Online (DEFF)
- Business Source Ultimate
- ScienceDirect eBooks
Zeitschrift / Serie
- Formal Methods In System Design
- International Journal On Software Tools For Technology Transfer
- Science Of Computer Programming
- Electronic Notes In Theoretical Computer Science
- Ieee Transactions On Software Engineering
- Ifac Proceedings Volumes
- Computer Science Education
- Ieee Transactions On Reliability
- Integrated Formal Methods
- Integrated Formal Methods, Proceedings