Sortiert nach
JPhys photonics, 2024-01, Vol.6 (1), p.11001
2024
Link zum Volltext
Electronic proceedings in theoretical computer science, 2017-04, Vol.248, p.2-3
2017
Link zum Volltext
ACM transactions on embedded computing systems, 2018-05, Vol.17 (3), p.1-22
2018
Link zum Volltext
ACM transactions on human-robotic interaction, 2024-06, Vol.13 (2), p.1-21, Article 16
2024
Link zum Volltext
Hardware and Software: Verification and Testing, p.50-65
Link zum Volltext
Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems, 2021, p.1-3
2021
Link zum Volltext
2024 IEEE/SICE International Symposium on System Integration (SII), 2024, p.1045-1051
2024
- Link zum Volltext
Formal aspects of computing, 2011, Vol.23 (1), p.73-89
2011
Link zum Volltext
2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV), 2015, p.32-37
2015
- Link zum Volltext
Models@run.time, p.101-136
Link zum Volltext
Hardware and Software: Verification and Testing, p.69-84
Link zum Volltext
Hardware and Software: Verification and Testing, p.203-218
Link zum Volltext
Hardware and Software: Verification and Testing, p.160-175
Link zum Volltext
Electronic notes in theoretical computer science, 2016-12, Vol.330, p.1-3
2016
Link zum Volltext
2013 Third Berkeley Symposium on Energy Efficient Electronic Systems (E3S), 2013, p.1-2
2013
Link zum Volltext
Hardware and Software: Verification and Testing, p.66-79
Link zum Volltext
Hardware and Software: Verification and Testing, p.145-159
Link zum Volltext
2014 UKACC International Conference on Control (CONTROL), 2014, p.244-249
2014
Link zum Volltext
2024 IEEE 7th International Conference on Soft Robotics (RoboSoft), 2024, p.565-571
2024
Link zum Volltext
Hardware and Software: Verification and Testing, p.35-49
Link zum Volltext
Hardware and Software: Verification and Testing, p.20-34
Link zum Volltext
Hardware and Software: Verification and Testing, p.130-144
Link zum Volltext
Hardware and Software: Verification and Testing, p.219-233
Link zum Volltext
Hardware and Software: Verification and Testing, p.257-258
Link zum Volltext
Hardware and Software: Verification and Testing, p.247-253
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Humans
- Immunology
- Model Check
- Bound Model Check
- Lymphocytes
- Safety
- Comparative Analysis
- Dermatology
- Encephalitis, Japanese - Prevention & Control
- Functional Coverage
- Hardware
- Japanese Encephalitis Vaccines - Immunology
- Kinases
- Lymphocytes T
- Male
- Mathematical Model
- Mice
- Pediatrics
Kollektion
- IngentaConnect
- HEAL-Link subscriptions: Springer Book Series
- EZB Electronic Journals Library
- ACM Digital Library
- IEL
- MEDLINE
- Single Journals
- Journals@Ovid
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Nature Journals
- Springer journals
- De Gruyter eBooks
- ERIC
- Cambridge Journals Online (DEFF)
- Taylor & Francis:Master (3349 titles)
- eBooks on EBSCOhost
- ProQuest Dissertations & Theses A&I
Zeitschrift / Serie
- Dermatologie
- Blood
- Hautarzt
- The Journal Of Nuclear Medicine
- The Pediatric Infectious Disease Journal
- Vaccine
- Acm Transactions On Embedded Computing Systems
- Acm Transactions On Human-Robotic Interaction
- American Journal Of Physiology. Regulatory, Integrative And Comparative Physiology
- Atherosclerosis. Supplement
Neu hinzugefügt