Sortiert nach
1, 2003
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
Innovations in systems and software engineering, 2022-12, Vol.18 (4), p.485-504
2022
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
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
Tools and Algorithms for the Construction and Analysis of Systems, p.553-568
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.331-346
Link zum Volltext
Biomedical instrumentation & technology, 2018-09, Vol.52 (5), p.357
2018
Link zum Volltext
Journal of systems architecture, 2023-01, Vol.134, p.102789, Article 102789
2023
Link zum Volltext
ECOOP 2005 - Object-Oriented Programming, 2005, p.551-576
2005
Link zum Volltext
International journal on software tools for technology transfer, 2007-10, Vol.9 (5-6), p.489-504
2007
Link zum Volltext
Formal Techniques for Distributed Systems, p.47-62
Link zum Volltext
Lecture notes in computer science, 2006, p.73-89
2006
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
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
- Computer Science, Theory & Methods
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Software
- Computer Science, Software Engineering
- Software Engineering
- Model Check
- Computer Science, Hardware & Architecture
- Partial Evaluation
- Digital Libraries
- Engineering
- Java
- Language Processing And Microprogramming
- Programming Languages
- Theoretical Computing
- Engineering, Electrical & Electronic
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library
- IEL
- IngentaConnect Journals
- Free E-Journal (出版社公開部分のみ）
- SpringerLink_现刊
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Access via ScienceDirect (Elsevier)
- Journals@Ovid Ovid Full Text
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EBSCOhost Business Source Ultimate
- MEDLINE
- Cambridge Journals Online (DEFF)
- ProQuest Dissertations & Theses A&I
Zeitschrift / Serie
Neu hinzugefügt