Year of publication
Type of media
Source
Subject
Type of material
Language
Synonyms were used for: interval • time • time interval
Search without synonyms: keywords:(operating time interval verification)
Used synonyms:
- intervall
- tonhohenabstand
Used synonyms:
- tageszeit
- zeit
- zeitstruktur
Used synonyms:
- zeitintervall
- zeitliches intervall
-
A survey on formal specification and verification of separation kernels
Online Contents | 2017|Keywords: formal verification, real-time operating systems -
A thread synchronization model for the PREEMPT_RT Linux kernel
Elsevier | 2020|Keywords: Real-time computing, Operating systems, Software verification -
Run-time analysis of time-critical systems
Elsevier | 2004|Keywords: Interval temporal logic, Real-time system, Run-time analysis & verification -
Interval-based analysis in embedded system design
Elsevier | 2003|Keywords: Real-time embedded systems, Performance verification, Interval analysis -
Relative Risk of Prolonged Operative Times From Inconsistent Surgical Teams
Wiley | 2015|Keywords: Confidence Interval, Operative Time, Operating Room -
Compositional reasoning using intervals and time reversal
Online Contents | 2013|Keywords: Time reversal, Interval Temporal Logic, Formal verification -
The Design and Implementation of Intelligent Power Distribution Park Distribution Equipment
National licenceTrans Tech Publications | 2013|Keywords: Real-Time Operating System, Real-Time Verification -
A survey on formal specification and verification of separation kernels
Springer Verlag | 2017|Keywords: real-time operating systems, formal verification -
STAn: analysis of data traces using an event-driven interval temporal logic
Free accessSpringer Verlag | 2023|Keywords: Interval temporal logic, Runtime verification, Software Engineering/Programming and Operating Systems -
Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems
NTRS | 2011|Keywords: real time operating system, verification -
On the Analysis of Real-time Operating System Reliability in Embedded Systems
Free accessBASE | 2020|Keywords: DIGITAL SYSTEM DESIGN TEST AND VERIFICATION, Real-Time Operating System -
Compositional reasoning using intervals and time reversal
Online Contents | 2013|Keywords: Time reversal, Interval Temporal Logic, Formal verification -
Relative Risk of Prolonged Operative Times From Inconsistent Surgical Teams
Online Contents | 2015|Keywords: Confidence Interval, Operative Time, Operating Room -
Timed automata for metric interval temporal logic formulae in prototype verification system
Online Contents | 2008|Keywords: prototype verification system (PVS), metric interval temporal logic (MITL), real-time system -
Differential Monitoring
Springer Verlag | 2021|Keywords: Run-time verification, Software Engineering/Programming and Operating Systems -
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete
Free accessBASE | 2016|Keywords: Formal verification, Length of interval, Sub-interval, Time interval -
Timed automata for metric interval temporal logic formulae in prototype verification system
Online Contents | 2008|Keywords: prototype verification system (PVS), metric interval temporal logic (MITL), real-time system -
Deadline analysis of AUTOSAR OS periodic tasks in the presence of interrupts
Free accessBASE | 2013|Keywords: Verification, real-time operating systems -
Verification of Embedded Systems Based on Interval Analysis
Springer Verlag | 2005|Keywords: Embedded system verification, interval analysis, assertion-based verification, design for verification, Software Engineering/Programming and Operating Systems -
Code-to-time converter for the nanosecond range
Tema Archive | 1984|Keywords: ZEITINTERVALL, CODE TO TIME INTERVAL CONVERTOR, AUTOMATIC VERIFICATION SYSTEMS
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.