Sortiert nach
IEEE access, 2022, Vol.10, p.125652-125665
2022
Volltextzugriff (PDF)
Current directions in biomedical engineering, 2023-09, Vol.9 (1), p.323-326
2023
Volltextzugriff (PDF)
Discrete event dynamic systems, 2020-03, Vol.30 (1), p.1-24
2020
Volltextzugriff (PDF)
Automatisierungstechnik : AT, 2020-01, Vol.68 (1), p.3-14
2020
Volltextzugriff (PDF)
Integrated Formal Methods, 2018, p.367-376
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-11, Vol.102 (Proc. SSV 2012), p.103-114
2012
Volltextzugriff (PDF)
Discrete event dynamic systems, 2020-03, Vol.30 (1), p.1-24
2020
Volltextzugriff (PDF)
The Journal of systems and software, 2012-10, Vol.85 (10), p.2261-2274
2012
Volltextzugriff (PDF)
Automatisierungstechnik : AT, 2023-01, Vol.71 (1), p.56-68
2023
Volltextzugriff (PDF)
Concurrency and computation, 2017-11, Vol.29 (22), p.n/a
2017
Volltextzugriff (PDF)
2023 IEEE Intelligent Vehicles Symposium (IV), 2023, p.1-6
2023
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2009-07, Vol.11 (3), p.187-202
2009
Volltextzugriff (PDF)
2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2017, p.1-4
2017
Volltextzugriff (PDF)
2022 IEEE Intelligent Vehicles Symposium (IV), 2022, p.1-8
2022
Volltextzugriff (PDF)
2009 edition., 2009
Volltextzugriff (PDF)
2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), 2022, p.1-8
2022
Volltextzugriff (PDF)
2022 IEEE Intelligent Vehicles Symposium (IV), 2022, p.1107-1113
2022
Volltextzugriff (PDF)
2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), 2016, p.1-4
2016
Volltextzugriff (PDF)
2022 IEEE Intelligent Vehicles Symposium (IV), 2022, p.678-687
2022
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.174-177
Volltextzugriff (PDF)
Journal of atmospheric and oceanic technology, 2010-09, Vol.27 (9), p.1555-1561
2010
Volltextzugriff (PDF)
2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA), 2023, p.1-8
2023
Volltextzugriff (PDF)
2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA), 2023, p.1-8
2023
Volltextzugriff (PDF)
2023 IEEE 21st International Conference on Industrial Informatics (INDIN), 2023, p.1-7
2023
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Life Sciences & Biomedicine
- Computer Science, Software Engineering
- Engineering
- Automation & Control Systems
- Humans
- Engineering, Electrical & Electronic
- Hardware
- Software
- Embedded Software
- Immunotherapy
- Software Engineering
- Testing
- Ligands
- Model Check
- Immunology
- Model Checking
Kollektion
- IngentaConnect
- HEAL-Link subscriptions: Springer Book Series
- EZB Electronic Journals Library
- IEL
- Single Journals
- Ebook Central Perpetual and DDA
- MEDLINE
- eBooks on EBSCOhost
- De Gruyter journals
- ACM Digital Library
- Journals@Ovid Complete
- SpringerLink_现刊
- Elsevier ScienceDirect Journals Collection
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Taylor & Francis Journals Complete
- Reference Global
- Taylor & Francis Journals
- Taylor & Francis
Zeitschrift / Serie
Neu hinzugefügt