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...
    Datensatz exportieren als...
  • BibTeX
Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds
Formal Methods for Industrial Critical Systems, p.3-18
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL
Formal Methods for Industrial Critical Systems, p.67-82
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools
Formal Methods for Industrial Critical Systems, p.284-290
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Adaptive Learning for Learn-Based Regression Testing
Formal Methods for Industrial Critical Systems, p.162-177
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Automated Functional Safety Analysis of Automated Driving Systems
Formal Methods for Industrial Critical Systems, p.35-51
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The Cause-Effect Latency Problem in Real-Time Systems
Formal Methods For Industrial Critical Systems, FMICS 2018, 2018, p.XIII
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Safety Interlocking as a Distributed Mutual Exclusion Problem
Formal Methods for Industrial Critical Systems, p.52-66
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Verification of a Programmable Hypersurface
Formal Methods for Industrial Critical Systems, p.83-97
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Compositional Verification in Action
Formal Methods for Industrial Critical Systems, p.189-210
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory
Formal Methods for Industrial Critical Systems, p.19-31
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset
Formal Methods for Industrial Critical Systems, p.98-114
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
M3C: Modal Meta Model Checking
Formal Methods for Industrial Critical Systems, p.223-241
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Wholly!: A Build System For The Modern Software Stack
Formal Methods for Industrial Critical Systems, p.242-257
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Active Mining of Document Type Definitions
Formal Methods for Industrial Critical Systems, p.147-161
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Note on Refinement in Hierarchical Transition Systems
Formal Methods for Industrial Critical Systems, p.211-222
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker
Formal Methods for Industrial Critical Systems, p.131-146
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Predicate Abstraction and Such
Formal Methods for Industrial Critical Systems, p.181-188
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
RERS 2019: Combining Synthesis with Real-World Models
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Modeling Language for Security Threats of IoT Systems
Formal Methods for Industrial Critical Systems, 2018, Vol.11119, p.258-268
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP
Formal Methods for Industrial Critical Systems, p.269-283
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Progress Checking for Dummies
Formal Methods for Industrial Critical Systems, p.115-130
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations
Automated Technology for Verification and Analysis, 2012, p.57-71
2012
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Inferring Semantic Interfaces of Data Structures
Connect, 2012, p.554-571
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automated continuous quality assurance
2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA), 2012, p.37-43
2012
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Antibody responses in children and elderly persons following local or parenteral administration of an inactivated influenza virus vaccine, A2-Hong Kong-68 variant
The Journal of immunology (1950), 1969-04, Vol.102 (4), p.1102-1105
1969
Volltextzugriff (PDF)
1 – 25 von 34
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen