Sortiert nach
IET software, 2008, Vol.2 (6), p.500-514
2008
Link zum Volltext
Concurrency and computation, 2017-11, Vol.29 (22), p.n/a
2017
Link zum Volltext
Deductive Software Verification - the KeY Book, 2016, Vol.10001, p.193-241
2016
Link zum Volltext
The Journal of systems and software, 2024-05, Vol.211, Article 112009
2024
Link zum Volltext
Logic for Programming, Artificial Intelligence, and Reasoning, p.348-370
Link zum Volltext
Journal of computing science and engineering : JCSE, 2013, Vol.7 (4), p.251-262
2013
Link zum Volltext
Theory and Application of Graph Transformations, p.296-309
Link zum Volltext
Journal of computing science and engineering : JCSE, 2013, Vol.7 (4), p.251-262
2013
Link zum Volltext
Journal of automated reasoning, 2010-02, Vol.44 (1-2), p.145-174
2010
Link zum Volltext
Lecture notes in computer science, 2005, p.365-381
2005
Link zum Volltext
Proceedings of the 15th International Software Product Line Conference, Volume 2, 2011, p.1-8
2011
Link zum Volltext
2011 33rd International Conference on Software Engineering (ICSE), 2011, p.786-795
2011
- Link zum Volltext
International journal on software tools for technology transfer, 2022-10, Vol.24 (5), p.783-802
2022
Link zum Volltext
ECOOP 2006 – Object-Oriented Programming, 2006, p.380-403
2006
Link zum Volltext
Proceedings of the 2004 ACM symposium on applied computing, 2004, p.1531-1535
2004
Link zum Volltext
Formal aspects of computing, 2023-09, Vol.35 (3), p.1-26, Article 18
2023
Link zum Volltext
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, 2005, p.49-69
2005
Link zum Volltext
VerCors, 2016, p.124-141
2016
Link zum Volltext
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, 2005, p.108-128
2005
Link zum Volltext
Lecture notes in computer science, 2016, Vol.9800, p.238-267
2016
Link zum Volltext
Concurrency and computation, 2003-02, Vol.15 (2), p.117-154
2003
Link zum Volltext
Formal Methods for Components and Objects, 2006, p.342-363
2006
Link zum Volltext
Fundamental Approaches to Software Engineering, 2001, p.284-299
2001
Link zum Volltext
Deductive Software Verification – The KeY Book, 2016-12, p.243-287
2016
Link zum Volltext
Deductive Software Verification – The KeY Book, 2016-12, p.541-570
2016
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Software Engineering
- Software
- Engineering
- Computer Science, Theory & Methods
- Computer Science, Information Systems
- Algorithms
- Life Sciences & Biomedicine
- Software Engineering
- Physical Sciences
- Java
- Artificial Intelligence
- Computer Science, Artificial Intelligence
- Programming Languages
- Social Sciences
- Engineering, Electrical & Electronic
- Computer Science, Interdisciplinary Applications
- Studies
Kollektion
- Ingenta
- EZB Free E-Journals
- ACM Digital Library Complete
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Nature - Complete Springer Journals
- IngentaConnect Journals
- Springer Books
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IEEE Electronic Library (IEL)
- SpringerLink Series
- Journals@Ovid Complete
- EBSCOhost Business Source Ultimate
- Wiley Online Library - AutoHoldings Journals
- Wiley Online Library Full Collection 2018
- Nexis Uni
- Taylor & Francis Current Content Access
- Taylor & Francis Journals Complete
- Factiva
- Taylor & Francis eBooks A-Z
Zeitschrift / Serie
- Plos One
- Journal Of Physics. Conference Series
- Software And Systems Modeling
- Journal Of Physics: Conference Series
- Applied Sciences
- International Journal Of Advanced Computer Science & Applications
- International Journal Of Computer Applications
- Sensors
- Empirical Software Engineering : An International Journal
- Bmc Bioinformatics
Neu hinzugefügt