Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Formal methods in system design, 2022-06, Vol.60 (3), p.452-481
2022
Volltextzugriff (PDF)
Formal methods in system design, 2016-12, Vol.49 (3), p.190-218
2016
Volltextzugriff (PDF)
ACM transactions on embedded computing systems, 2017-10, Vol.16 (5s), p.1-19
2017
Volltextzugriff (PDF)
Computer Aided Verification, p.334-342
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.1905-1934, Article 289
2023
Volltextzugriff (PDF)
Science of computer programming, 2015-02, Vol.98, p.464-483
2015
Volltextzugriff (PDF)
Formal methods in system design, 2013-02, Vol.42 (1), p.46-66
2013
Volltextzugriff (PDF)
Formal methods in system design, 2014-10, Vol.45 (2), p.165-188
2014
Volltextzugriff (PDF)
FM 2016: Formal Methods, p.164-181
Volltextzugriff (PDF)
Reachability Problems, 2019, Vol.11674, p.22-32
2019
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.52-67
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.46-61
Volltextzugriff (PDF)
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.1160-1170
2018
Volltextzugriff (PDF)
Computer Aided Verification, p.271-291
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, 2015, Vol.9364, p.326-343
2015
Volltextzugriff (PDF)
2023 IEEE International Conference on Development and Learning (ICDL), 2023, p.423-428
2023
Volltextzugriff (PDF)
Computer Aided Verification, p.424-440
Volltextzugriff (PDF)
Proceedings of the ... AAAI Conference on Artificial Intelligence, 2021-09, Vol.26 (1), p.2100-2105
2021
Volltextzugriff (PDF)
2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications, 2011, p.275-278
2011
Volltextzugriff (PDF)
Formal Techniques for Distributed Systems, p.155-169
Volltextzugriff (PDF)
2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2023, p.243-250
2023
Volltextzugriff (PDF)
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.188-195
2017
Volltextzugriff (PDF)
Computer Aided Verification, p.317-332
Volltextzugriff (PDF)
2009 IEEE/ACM International Conference on Automated Software Engineering, 2009, p.665-667
2009
Volltextzugriff (PDF)
2018 Formal Methods in Computer Aided Design (FMCAD), 2018, p.1-9
2018
Volltextzugriff (PDF)
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
- Automata
- Engineering
- Encoding
- Hybrid Systems
- Algorithms
- Cae) And Design
- Circuits And Systems
- Computer-Aided Engineering (cad
- Electrical Engineering
- Model Checking
- Software Engineering/programming And Operating Systems
- Bounded Model Checking
- Formal Method
- Formal Methods
- Hybrid Automaton
Kollektion
- IngentaConnect
- IEEE Xplore
- Springer Book Series
- ACM Digital Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid Complete
- SpringerLink Journals - AutoHoldings
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Free E-Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Elsevier ScienceDirect Journals Complete
Zeitschrift / Serie