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...IEEE access, 2023, Vol.11, p.72641-72654
2023
Volltextzugriff (PDF)
Personal and ubiquitous computing, 2021-10, Vol.25 (5), p.809-812
2021
Volltextzugriff (PDF)
Discrete event dynamic systems, 2023-12, Vol.33 (4), p.395-424
2023
Volltextzugriff (PDF)
Automatica (Oxford), 2020-11, Vol.121, p.109172, Article 109172
2020
Volltextzugriff (PDF)
IEEE access, 2023-07, p.1-1
2023
Volltextzugriff (PDF)
Software and systems modeling, 2024-04, Vol.23 (2), p.455-472
2024
Volltextzugriff (PDF)
Reliability engineering & system safety, 2021-09, Vol.213, p.107764, Article 107764
2021
Volltextzugriff (PDF)
Formal aspects of computing, 2018-09, Vol.30 (5), p.525-544
2018
Volltextzugriff (PDF)
IEEE software, 2022-05, Vol.39 (3), p.120-124
2022
Volltextzugriff (PDF)
IEEE transactions on smart grid, 2018-07, Vol.9 (4), p.2398-2408
2018
Volltextzugriff (PDF)
2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET), 2023, p.23-28
2023
Volltextzugriff (PDF)
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering Education and Training, 2020, p.45-48
2020
Volltextzugriff (PDF)
ACM transactions on autonomous and adaptive systems, 2022-12, Vol.17 (3-4), p.1-26, Article 5
2022
Volltextzugriff (PDF)
ACM transactions on the internet of things, 2020-03, Vol.1 (1), p.1-27, Article 4
2020
Volltextzugriff (PDF)
ACM transactions on autonomous and adaptive systems, 2024-06, Vol.19 (2), p.1-49, Article 12
2024
Volltextzugriff (PDF)
2020 IEEE/ACM 42nd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER), 2020, p.61-64
2020
Volltextzugriff (PDF)
Formal methods in system design, 2019-12, Vol.55 (1), p.1-32
2019
Volltextzugriff (PDF)
2011 33rd International Conference on Software Engineering (ICSE), 2011, p.31-40
2011
Volltextzugriff (PDF)
IEEE transactions on intelligent transportation systems, 2020-12, Vol.21 (12), p.4995-5009
2020
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.312-331
Volltextzugriff (PDF)
Computer Safety, Reliability, and Security, p.172-187
Volltextzugriff (PDF)
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019, p.246-251
2019
Volltextzugriff (PDF)
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015, Vol.1, p.609-619
2015
Volltextzugriff (PDF)
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023, p.423-434
2023
Volltextzugriff (PDF)
2022 IEEE 35th Computer Security Foundations Symposium (CSF), 2022, p.486-500
2022
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Engineering
- Engineering, Electrical & Electronic
- Computer Science, Information Systems
- Automation & Control Systems
- Software
- Software Engineering
- Security
- Cyber-Physical Systems
- Robustness
- Safety
- Alloy
- Automation
- Machine Learning
- Metals
- Model Checking
Kollektion
- IEEE Xplore
- ACM Digital Library
- IngentaConnect
- EZB Electronic Journals Library
- SpringerLink Series
- SpringerLink_现刊
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- Wiley-Blackwell Journals
- MEDLINE
- Wiley Online Library
- eBooks on EBSCOhost
- Elsevier ScienceDirect Journals Complete
- Oxford Journals
- ProQuest Dissertations & Theses A&I
- Oxford Journals 2020 Medicine
- IngentaConnect Journals
- Nexis Uni (LexisNexis)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Springer Nature - Connect here FIRST to enable access
Zeitschrift / Serie
- Acm Transactions On Autonomous And Adaptive Systems
- Chiwi'saeng'gwa Haghoeji/chiwisaeng Gwahakoeji
- Chiwisaeng Gwahakoeji
- Current Developments In Nutrition
- Ieee Access
- Software Engineering Notes
- Acm Transactions On Cyber-Physical Systems
- Acm Transactions On The Internet Of Things
- Acs Applied Materials & Interfaces
- Acute And Critical Care
Neu hinzugefügt