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...2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA), 2023, p.1-8
2023
Volltextzugriff (PDF)
2014
Volltextzugriff (PDF)
Discrete event dynamic systems, 2011-09, Vol.21 (3), p.307-338
2011
Volltextzugriff (PDF)
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE), 2019, p.98-106
2019
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2017-04, Vol.19 (2), p.133-140
2017
Volltextzugriff (PDF)
2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010, p.301-310
2010
Volltextzugriff (PDF)
ABZ 2014: The Landing Gear Case Study, p.1-18
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2010-02, Vol.12 (1), p.1-7
2010
Volltextzugriff (PDF)
International journal of critical computer-based systems, 2014, Vol.5 (3/4), p.172
2014
Volltextzugriff (PDF)
2008 11th IEEE High Assurance Systems Engineering Symposium, 2008, p.251-260
2008
Volltextzugriff (PDF)
ETFA2011, 2011, p.1-8
2011
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification, and Validation, p.243-257
Volltextzugriff (PDF)
Innovations in systems and software engineering, 2009-09, Vol.5 (3), p.163-179
2009
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2010-03, Vol.20 (Proc. FMA 2009), p.34-48
2010
Volltextzugriff (PDF)
Advances in software engineering, 2012-01, Vol.2012 (2012), p.1-13
2012
Volltextzugriff (PDF)
ABZ 2014: The Landing Gear Case Study, p.80-94
Volltextzugriff (PDF)
2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2017, p.1-8
2017
Volltextzugriff (PDF)
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, 2011, p.130-137
2011
Volltextzugriff (PDF)
International Symposium on Industrial Embedded System (SIES), 2010, p.197-200
2010
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification, and Validation, p.58-59
Volltextzugriff (PDF)
Architecture of Computing Systems – ARCS 2012, p.98-110
Volltextzugriff (PDF)
Proceedings of the 29th International Conference on Real-Time Networks and Systems, 2021, p.12-23
2021
Volltextzugriff (PDF)
ABZ 2014: The Landing Gear Case Study, p.66-79
Volltextzugriff (PDF)
Formal Modeling and Analysis of Timed Systems, p.155-169
Volltextzugriff (PDF)
Journal Européen des Systèmes Automatisés, 2011-04, Vol.45 (1-3), p.173-188
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
- Embedded Systems
- Landing Gear
- Real-Time Systems
- Software Engineering
- Aerospace Electronics
- Computational Modeling
- Engineering
- Explosions
- Software
- Automation & Control Systems
- Computer Science, Hardware & Architecture
- Computer Science, Information Systems
- Multicore Processing
- Operating Systems
- Real Time Systems
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Ingenta Connect
- IEEE Xplore
- HEAL-Link subscriptions: Springer Book Series
- EZB Free E-Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library Complete
- Springer journals
- EBSCOhost Business Source Ultimate
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
Zeitschrift / Serie
- Ingénierie Des Systèmes D'information
- International Journal On Software Tools For Technology Transfer
- Electronic Notes In Theoretical Computer Science
- Journal Européen Des Systèmes Automatisés
- Technique Et Science Informatiques: Tsi
- Advances In Software Engineering
- Discrete Event Dynamic Systems
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Innovations In Systems And Software Engineering