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...Formal aspects of computing, 2011, Vol.23 (1), p.73-89
2011
Volltextzugriff (PDF)
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems
2023
Volltextzugriff (PDF)
2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV), 2015, p.32-37
2015
Volltextzugriff (PDF)
Microprocessors and microsystems, 2016-11, Vol.47, p.278-286
2016
Volltextzugriff (PDF)
Models@run.time, p.101-136
Volltextzugriff (PDF)
Software Engineering for Robotics, 2021, p.139-164
2021
Volltextzugriff (PDF)
Hardware and Software: Verification and Testing, p.69-84
Volltextzugriff (PDF)
Hardware and Software: Verification and Testing, p.203-218
Volltextzugriff (PDF)
2024 IEEE International Test Conference in Asia (ITC-Asia), 2024, p.1-6
2024
Volltextzugriff (PDF)
2024 IEEE Conference on Artificial Intelligence (CAI), 2024, p.448-455
2024
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, 2014, Vol.8901, p.72-90
2014
Volltextzugriff (PDF)
2011 IEEE Congress of Evolutionary Computation (CEC), 2011, p.1420-1427
2011
Volltextzugriff (PDF)
Hardware and Software: Verification and Testing, p.160-175
Volltextzugriff (PDF)
Formal Modeling and Analysis of Timed Systems, p.335-351
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2016-12, Vol.330, p.1-3
2016
Volltextzugriff (PDF)
2013 Third Berkeley Symposium on Energy Efficient Electronic Systems (E3S), 2013, p.1-2
2013
Volltextzugriff (PDF)
Hardware and Software: Verification and Testing, p.66-79
Volltextzugriff (PDF)
2011 IEEE International High Level Design Validation and Test Workshop, 2011, p.57-64
2011
Volltextzugriff (PDF)
2022 29th IEEE International Conference on Electronics, Circuits and Systems (ICECS), 2022, p.1-4
2022
Volltextzugriff (PDF)
Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, 2018, p.35-42
2018
Volltextzugriff (PDF)
Formal Methods and Software Engineering, p.585-600
Volltextzugriff (PDF)
Hardware and Software: Verification and Testing, p.112-128
Volltextzugriff (PDF)
Hardware and Software: Verification and Testing, p.145-159
Volltextzugriff (PDF)
2014 UKACC International Conference on Control (CONTROL), 2014, p.244-249
2014
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Engineering
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Computer Science, Hardware & Architecture
- Engineering, Electrical & Electronic
- Life Sciences & Biomedicine
- Hardware
- Energy Consumption
- Humans
- Safety
- Embedded Systems
- Microprocessors
- Model Check
- Software
- Computer Architecture
- Energy
- Immunology
Kollektion
- IngentaConnect
- SpringerLink Series
- EZB Electronic Journals Library
- IEEE Xplore
- ACM Digital Library
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- MEDLINE
- Publisher or Other Site
- Journals@Ovid Full Text
- IngentaConnect Journals
- SpringerLink Journals - AutoHoldings
- ScienceDirect
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Nature - Connect here FIRST to enable access
- Thieme - Connect here FIRST to enable access
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Cambridge Journals Online (DEFF)
- De Gruyter eBooks
- EBSCOhost Business Source Ultimate
Zeitschrift / Serie
Neu hinzugefügt