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...Systems engineering, 2023-09, Vol.26 (5), p.567-589
2023
Volltextzugriff (PDF)
Acta informatica, 2022-02, Vol.59 (1), p.1-35
2022
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-03, Vol.245 (Proc. FESCA 2017), p.31-45
2017
Volltextzugriff (PDF)
Software and systems modeling, 2020-11, Vol.19 (6), p.1483-1517
2020
Volltextzugriff (PDF)
Software Engineering for Resilient Systems, 2015, Vol.9274, p.31-45
2015
Volltextzugriff (PDF)
Computer Safety, Reliability, and Security, p.207-218
Volltextzugriff (PDF)
Formal Methods for Industrial Critical Systems, 2023, Vol.14290, p.76-95
2023
Volltextzugriff (PDF)
Application and Theory of Petri Nets and Concurrency, p.342-361
Volltextzugriff (PDF)
Integrated Formal Methods, p.508-522
Volltextzugriff (PDF)
Model Checking Software, p.235-254
Volltextzugriff (PDF)
2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion), 2018, p.113-116
2018
Volltextzugriff (PDF)
Formal Modeling and Analysis of Timed Systems, p.264-280
Volltextzugriff (PDF)
Formal Aspects of Component Software, p.23-44
Volltextzugriff (PDF)
Reliability engineering & system safety, 2005, Vol.87 (1), p.89-107
2005
Volltextzugriff (PDF)
Science of computer programming, 2018-06, Vol.157, p.17-40
2018
Volltextzugriff (PDF)
2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS), 2016, p.ix-ix
2016
Volltextzugriff (PDF)
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), 2019, p.89-94
2019
Volltextzugriff (PDF)
Dependable Computing - EDCC 5, 2005, p.263-280
2005
Volltextzugriff (PDF)
Formal aspects of computing, 2016-05, Vol.28 (3), p.345-379
2016
Volltextzugriff (PDF)
2018 IEEE 14th International Conference on Automation Science and Engineering (CASE), 2018, p.1158-1163
2018
Volltextzugriff (PDF)
2016 IEEE 14th International Conference on Industrial Informatics (INDIN), 2016, p.389-396
2016
Volltextzugriff (PDF)
Dependable Computing EDCC-4, 2002, p.121-139
2002
Volltextzugriff (PDF)
International journal of knowledge management studies, 2008, Vol.2 (4), p.480
2008
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
- Engineering
- Software
- Model Checking
- Software Engineering
- Computer Science, Hardware & Architecture
- Computer Science, Information Systems
- Applied Sciences
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Engineering, Electrical & Electronic
- Unified Modeling Language
- Algorithms
- Fault Tolerance
- Formal Verification
- Mathematical Models
Kollektion
- Ingenta E-Journals
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IEEE Xplore
- EZB Electronic Journals Library
- ACM Digital Library
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink
- Wiley Blackwell Single Titles
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Oxford Journals
- Wiley Online Library
Zeitschrift / Serie
- Periodica Polytechnica. Electrical Engineering And Computer Science
- Fiatal Müszakiak Tudományos Ülésszaka
- Fiatal Műszakiak Tudományos Ülésszaka
- Formal Aspects Of Computing
- Periodica Polytechnica. Electrical Engineering. Elektrotechnik
- Rsc Advances
- Acta Informatica
- Automatica
- Computer Journal
- Electronic Notes In Theoretical Computer Science