Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
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...
Open Access
    Datensatz exportieren als...
  • BibTeX
Contract-based specification of mode-dependent timing behavior
Innovations in systems and software engineering, 2024-03, Vol.20 (1), p.31-47
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Challenges in Achieving Explainability for Cooperative Transportation Systems
2022 IEEE 30th International Requirements Engineering Conference Workshops (REW), 2022, p.114-119
2022
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Handling of Operating Modes in Contract-Based Timing Specifications
Verification and Evaluation of Computer and Communication Systems, 2022, Vol.13187, p.59-74
2022
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Measurement-based Online Verification of Timing Properties in Distributed Systems
2020 International Conference on Omni-layer Intelligent Systems (COINS), 2020, p.1-6
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Design Decisions in the Construction of Traceability Information Models for Safe Automotive Systems
2021 IEEE 29th International Requirements Engineering Conference (RE), 2021, p.185-196
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The MobSTr Dataset - An Exemplar for Traceability and Model-based Safety Assessment
2021 IEEE 29th International Requirements Engineering Conference (RE), 2021, Vol.RE 2021, p.444-445
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Multi-layer time coherency in the development of ADAS/AD systems: design approach and tooling
Proceedings of the Workshop on Design Automation for CPS and IoT, 2019, p.20-30
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique
System Level Design from HW/SW to Memory for Embedded Systems, 2018, Vol.523, p.88-99
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Prognostic value of low-level MRD in adult acute lymphoblastic leukemia detected by low- and high-throughput methods
Blood advances, 2022-05, Vol.6 (10), p.3006-3010
2022
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Verhinderte Meisterwerke: Gescheiterte Projekte in Literatur und Film
1, 2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Accelerated Inactivation of Voltage-Dependent K+ Outward Current in Cardiomyocytes from Thyroid Hormone Receptor α1-Deficient Mice
Journal of cardiovascular electrophysiology, 2002-01, Vol.13 (1), p.44-50
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Accelerated inactivation of voltage-dependent K+ outward current in cardiomyocytes from thyroid hormone receptor alpha1-deficient mice
Journal of cardiovascular electrophysiology, 2002-01, Vol.13 (1), p.44-50
2002
Volltextzugriff (PDF)
1 – 12 von 12
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen