Sortiert nach
IET cyber-physical systems, 2016-12, Vol.1 (1), p.49-59
2016
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2003-02, Vol.4 (2), p.139-141
2003
Volltextzugriff (PDF)
Software, practice & experience, 2001-02, Vol.31 (2), p.191-208
2001
Volltextzugriff (PDF)
Formal Methods for Safety and Security, 2017, p.13-21
2017
Volltextzugriff (PDF)
Reuse Methodology Manual for System-on-a-Chip Designs, p.271-284
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE), 2016, p.144-155
2016
Volltextzugriff (PDF)
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020, p.621-640
2020
Volltextzugriff (PDF)
Proceedings of the 36th International Conference on Software Engineering, 2014, p.1036-1046
2014
Volltextzugriff (PDF)
IEEE transactions on robotics, 2021-06, Vol.37 (3), p.798-814
2021
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2015-04, Vol.37 (2), p.1-31, Article 7
2015
Volltextzugriff (PDF)
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security, 2013, p.499-510
2013
Volltextzugriff (PDF)
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015, p.426-437
2015
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2015-04, Vol.37 (2), p.1-50, Article 6
2015
Volltextzugriff (PDF)
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.300-311
2021
Volltextzugriff (PDF)
Proceedings of the 36th International Conference on Software Engineering, 2014, p.299-310
2014
Volltextzugriff (PDF)
International Conference on Software Engineering: Proceeding of the 28th international conference on Software engineering; 20-28 May 2006, 2006, p.371-380
2006
Volltextzugriff (PDF)
Journal of the ACM, 2015-05, Vol.62 (2), p.1-45, Article 15
2015
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2016-10, Vol.38 (4), p.1-50, Article 13
2016
Volltextzugriff (PDF)
International Conference on Software Engineering 2008, 2008, Vol.2008 (24), p.211-220
2008
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2014-10, Vol.36 (4), p.1-29, Article 14
2014
Volltextzugriff (PDF)
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, p.1016-1027
2021
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- General And Reference -- Cross-Computing Tools And Techniques -- Performance
- Theory Of Computation -- Semantics And Reasoning
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning
- Verification
- Computer Science, Theory & Methods
- Software And Its Engineering
- Theory Of Computation -- Logic
- Theory Of Computation
- General And Reference
- Information Systems -- Information Systems Applications
- Software Engineering
- Engineering
- Software And Its Engineering -- Software Creation And Management
- Engineering, Electrical & Electronic
Kollektion
- ACM Digital Library (Association for Computing Machinery)
- IEEE Electronic Library Online
- Ingenta
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Book Series
- SpringerLink Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EBSCOhost Business Source Ultimate
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Wiley Online Library All Journals
- Journals@Ovid Ovid Full Text
- Nexis Uni
- Wiley Online Library All Obooks
- Wiley Online Library Full Collection 2018
- Taylor & Francis Journals Complete
- Taylor & Francis Journals
Zeitschrift / Serie
- Acm Transactions On Programming Languages And Systems
- Software And Systems Modeling
- Sigplan Notices
- Acm Transactions On Software Engineering And Methodology
- Ieee Transactions On Software Engineering
- Acm Sigplan Notices
- Sigbed Review
- Formal Aspects Of Computing
- Communications Of The Acm
- Ieee Transactions On Computer-Aided Design Of Integrated Circuits And Systems
Neu hinzugefügt