Sortiert nach
Service Oriented and Cloud Computing, p.49-64
Link zum Volltext
Formal methods in system design, 2022-08, Vol.61 (1), p.63-89
2022
Link zum Volltext
Theory and Practice of Formal Methods, 2016, Vol.9660, p.211-225
2016
Link zum Volltext
Service-Oriented and Cloud Computing, p.118-134
Link zum Volltext
Service-Oriented and Cloud Computing, p.143-158
Link zum Volltext
Integrated Formal Methods, p.45-62
Link zum Volltext
Electronic proceedings in theoretical computer science, 2019, Vol.302 (Proc. VORTEX 2018), p.1-15
2019
Link zum Volltext
Service Oriented and Cloud Computing, p.125-140
Link zum Volltext
Formal aspects of computing, 2023-09, Vol.35 (3), p.1-26, Article 18
2023
Link zum Volltext
Journal of logical and algebraic methods in programming, 2019-10, Vol.107, p.108-135
2019
Link zum Volltext
Deductive Software Verification – The KeY Book, 2016-12, p.609-618
2016
Link zum Volltext
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.173-192
2022
Link zum Volltext
International journal on software tools for technology transfer, 2022-10, Vol.24 (5), p.783-802
2022
Link zum Volltext
Journal of automated reasoning, 2019-01, Vol.62 (1), p.93-126
2019
Link zum Volltext
Theory and Practice of Formal Methods, p.226-241
Link zum Volltext
Deductive Software Verification: Future Perspectives, p.221-245
Link zum Volltext
Correct System Design, p.191-204
Link zum Volltext
Software and systems modeling, 2016-10, Vol.15 (4), p.1117-1140
2016
Link zum Volltext
Journal of automated reasoning, 2014-08, Vol.53 (2), p.129-139
2014
Link zum Volltext
Formal Methods, p.255-272
Link zum Volltext
Integrated Formal Methods, p.199-217
Link zum Volltext
Electronic proceedings in theoretical computer science, 2019
2019
Link zum Volltext
Integrated Formal Methods, p.134-152
Link zum Volltext
Computer Aided Verification, p.273-289
Link zum Volltext
International journal on software tools for technology transfer, 2015-02, Vol.17 (1), p.107-119
2015
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Attribute Grammar
- Java Modeling Language
- Key
- Software
- Theorem Proving
- Computer Science, Information Systems
- Logic
- Parse Tree
- Service Level Agreement
- Software Engineering
- Software Engineering/programming And Operating Systems
- Case Study
- Communication View
- Computer Science, Artificial Intelligence
- Formal Verification
Kollektion
- Ingenta
- SpringerLink Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink
- eBooks on EBSCOhost
- Springer Books
- Ebook Central Perpetual and DDA
- EZB Free E-Journals
- ACM Digital Library Complete
- Journals@Ovid Complete
- IngentaConnect Journals
- IEEE Xplore
- Elsevier ScienceDirect Journals Complete
Zeitschrift / Serie
- International Journal On Software Tools For Technology Transfer
- Journal Of Automated Reasoning
- Deductive Software Verification – The Key Book
- Electronic Proceedings In Theoretical Computer Science
- Formal Aspects Of Computing
- Formal Methods In System Design
- Journal Of Computer And System Sciences
- Journal Of Logical And Algebraic Methods In Programming
- Lecture Notes In Computer Science
- Software And Systems Modeling