Sortiert nach
Formal methods in system design, 2022-06, Vol.60 (3), p.329-349
2022
Volltextzugriff (PDF)
Formal methods in system design, 2016-06, Vol.48 (3), p.175-205
2016
Volltextzugriff (PDF)
Computer Aided Verification, p.846-862
Volltextzugriff (PDF)
Formal methods in system design, 2016-06, Vol.48 (3), p.175-205
2016
Volltextzugriff (PDF)
Formal methods in system design, 2008-06, Vol.32 (3), p.235-266
2008
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.276-291
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.517-535
Volltextzugriff (PDF)
Computer Aided Verification, p.17-34
Volltextzugriff (PDF)
ACM SIGAda Ada Letters, 2013-11, Vol.33 (3), p.9-10
2013
Volltextzugriff (PDF)
Model-Driven Engineering Languages and Systems, p.201-217
Volltextzugriff (PDF)
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019, p.462-467
2019
Volltextzugriff (PDF)
Formal methods in system design, 2015-12, Vol.47 (3), p.287-301
2015
Volltextzugriff (PDF)
ACM SIGAda Ada Letters, 2017-05, Vol.36 (2), p.27-30
2017
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2010-11, Vol.12 (6), p.409-427
2010
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2006-06, Vol.8 (3), p.229-247
2006
Volltextzugriff (PDF)
2013 IEEE Symposium on Security and Privacy, 2013, p.430-444
2013
Volltextzugriff (PDF)
ACM transactions on embedded computing systems, 2017-10, Vol.16 (5s), p.1-19
2017
Volltextzugriff (PDF)
Static Analysis, p.287-303
Volltextzugriff (PDF)
IEEE transactions on software engineering, 2004-06, Vol.30 (6), p.388-402
2004
Volltextzugriff (PDF)
ACM transactions on software engineering and methodology, 2013-03, Vol.22 (2), p.1-12
2013
Volltextzugriff (PDF)
Innovations in systems and software engineering, 2011-06, Vol.7 (2), p.131-139
2011
Volltextzugriff (PDF)
Runtime Verification, p.68-84
Volltextzugriff (PDF)
2009 22nd IEEE Computer Security Foundations Symposium, 2009, p.172-185
2009
Volltextzugriff (PDF)
Formal methods in system design, 2008-06, Vol.32 (3), p.267-284
2008
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.119-135
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
- Software
- Engineering
- Model Checking
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Model Check
- Engineering, Electrical & Electronic
- Verification
- Predicate Abstraction
- Computer Science, Hardware & Architecture
- Computer Science, Information Systems
- Software Engineering/programming And Operating Systems
- Cae) And Design
Kollektion
- Ingenta
- Springer Book Series (Lecture Notes)
- ACM Digital Library
- IEEE/IET Electronic Library (IEL)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Journals
- eBooks on EBSCOhost
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Ebook Central Perpetual and DDA
- EZB Electronic Journals Library
- IngentaConnect Journals
- Access via ScienceDirect (Elsevier)
- Oxford Journals
- ProQuest Dissertations & Theses A&I
- Wiley Online Library All Obooks
Zeitschrift / Serie
- Formal Methods In System Design
- International Journal On Software Tools For Technology Transfer
- Acm Sigada Ada Letters
- Electronic Notes In Theoretical Computer Science
- Innovations In Systems And Software Engineering
- Sigplan Notices
- Acm Sigplan Notices
- Acm Transactions On Embedded Computing Systems
- Acm Transactions On Software Engineering And Methodology
- Agronomy