Sortiert nach
1, 2003
Link zum Volltext
Logical methods in computer science, 2022-06, Vol.18, Issue 2 (2)
2022
Link zum Volltext
ACM computing surveys, 2012-06, Vol.44 (3), p.1-58
2012
Link zum Volltext
CONCUR 2001 — Concurrency Theory, 2001, p.39-58
2001
Link zum Volltext
Computer Safety, Reliability, and Security, p.42-48
Link zum Volltext
Proceedings of the IEEE, 2012-01, Vol.100 (1), p.75-90
2012
- Link zum Volltext
Innovations in systems and software engineering, 2022, Vol.18 (4), p.485-504
2022
Link zum Volltext
Formal Aspects of Component Software, p.45-64
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation, p.253-273
Link zum Volltext
Formal methods in system design, 2004-09, Vol.25 (2/3), p.199-240
2004
Link zum Volltext
ACM SIGAda Ada Letters, 2023-04, Vol.42 (2), p.45-54
2023
Link zum Volltext
Biomedical instrumentation & technology, 2018-09, Vol.52 (5), p.357
2018
Link zum Volltext
ECOOP 2005 - Object-Oriented Programming, 2005, p.551-576
2005
Link zum Volltext
Lecture notes in computer science, 2006, p.73-89
2006
Link zum Volltext
Journal of systems architecture, 2023-01, Vol.134, p.102789, Article 102789
2023
Link zum Volltext
Science of computer programming, 2010-07, Vol.75 (7), p.615-637
2010
Link zum Volltext
Software Architecture, p.294-310
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation, p.274-295
Link zum Volltext
SIGBED review, 2019-08, Vol.16 (2), p.8-13
2019
Link zum Volltext
International journal on software tools for technology transfer, 2007-10, Vol.9 (5-6), p.489-504
2007
Link zum Volltext
Computer (Long Beach, Calif.), 2006-04, Vol.39 (4), p.33-38
2006
- Link zum Volltext
Biomedical instrumentation & technology, 2017-09, Vol.51 (5), p.380
2017
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Software
- Exact Sciences And Technology
- Applied Sciences
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Computer Science; Control Theory; Systems
- Software Engineering
- Engineering
- Java
- Model Check
- Programming Languages
- Engineering, Electrical & Electronic
- Safety
- Interoperability
- Partial Evaluation
- Security
- Theoretical Computing
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- Ingenta
- SpringerLink Series
- ACM Digital Library
- IEEE Electronic Library (IEL)
- EZB Free E-Journals
- Springer Nature - Complete Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- Journals@Ovid Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EBSCOhost Business Source Ultimate
- Cambridge Journals Online (DEFF)
Zeitschrift / Serie