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...Real-time systems, 2003-09, Vol.25 (2-3), p.231-253
2003
Volltextzugriff (PDF)
How to Implement a Safe Real-Time System:The OBSERV Implementation of the Production Cell Case Study
1998
Volltextzugriff (PDF)
First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings, 2003, p.118-125
2003
Volltextzugriff (PDF)
Proceedings Real-Time Systems Education III, 1998, p.57-62
1998
Volltextzugriff (PDF)
2012 Federated Conference on Computer Science and Information Systems (FedCSIS), 2012, p.1333-1340
2012
Volltextzugriff (PDF)
[1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference, 1991, p.104-109
1991
Volltextzugriff (PDF)
International Conference on Software Engineering Advances (ICSEA 2007), 2007, p.52-52
2007
Volltextzugriff (PDF)
IEEE International Conference on Software-Science, Technology & Engineering (SwSTE'07), 2007, p.35-47
2007
Volltextzugriff (PDF)
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006, p.80-89
2006
Volltextzugriff (PDF)
AGILE 2006 (AGILE'06), 2006, p.10 pp.-64
2006
Volltextzugriff (PDF)
Twenty-Third Annual Hawaii International Conference on System Sciences, 1990, Vol.2, p.247-256 vol.2
1990
Volltextzugriff (PDF)
[1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering, 1988, p.96-106
1988
Volltextzugriff (PDF)
COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering - Systems Engineering Aspects of Complex Computerized Systems, 1990, p.298-306
1990
Volltextzugriff (PDF)
Journal of systems architecture, 2024-11, Vol.156, p.103287, Article 103287
2024
Volltextzugriff (PDF)
Frontiers of information technology & electronic engineering, 2020-11, Vol.21 (11), p.1554-1566
2020
Volltextzugriff (PDF)
Formal aspects of computing, 2017-07, Vol.29 (4), p.601-627
2017
Volltextzugriff (PDF)
Dependable Software Engineering. Theories, Tools, and Applications, 2018, Vol.10998, p.50-65
2018
Volltextzugriff (PDF)
Science of computer programming, 2015-09, Vol.107-108, p.19-40
2015
Volltextzugriff (PDF)
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017, p.735-745
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2021, Vol.338, p.68-81
2021
Volltextzugriff (PDF)
iTrustEval: A framework for software trustworthiness evaluation with an intelligent AHP-based method
2022
Volltextzugriff (PDF)
Deductive Software Verification: Future Perspectives, 2020, Vol.12345, p.287-312
2020
Volltextzugriff (PDF)
Software and systems modeling, 2017-10, Vol.16 (4), p.1223-1251
2017
Volltextzugriff (PDF)
2015 Federated Conference on Computer Science and Information Systems (FedCSIS), 2015, p.743-754
2015
Volltextzugriff (PDF)
International journal of system assurance engineering and management, 2011-06, Vol.2 (2), p.144-154
2011
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Java
- Software Engineering
- Educational Institutions
- Computer Science, Interdisciplinary Applications
- Automation
- Engineering
- Object Oriented Modeling
- Programming
- Refinement
- Software
- Software Systems
- Alloy
- Computer Science, Hardware & Architecture
- Prototypes
- Software And Its Engineering
Kollektion
- Ingenta
- IEEE Electronic Library Online
- Springer Book Series (Lecture Notes)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library
- Springer journals
- EZB Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid Ovid Full Text
- Elsevier ScienceDirect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
Zeitschrift / Serie
- International Journal Of System Assurance Engineering And Management
- Real-Time Systems
- Acm Transactions On Software Engineering And Methodology
- Formal Aspects Of Computing
- Frontiers Of Information Technology & Electronic Engineering
- Ifac Proceedings Volumes
- International Journal On Software Tools For Technology Transfer
- Journal Of Object Technology
- Journal Of Systems Architecture
- Science Of Computer Programming
Neu hinzugefügt