Year of publication
Type of material
Licence
1–20 of 8,272 hits
Sort by:
Sort by:
-
Status-oriented telephone service specification
British Library Conference Proceedings|Keywords: real-time systems -
A Timed Full LOTOS with Time/Action Tree Semantics
British Library Conference Proceedings|Keywords: real-time systems -
Designing supervisors for real-time systems
British Library Conference Proceedings|Keywords: real-time systems -
Verification of an audio control protocol
British Library Conference Proceedings|Keywords: real-time systems -
State machines, temporal logic and algebraic data models
British Library Conference Proceedings|Keywords: real-time systems -
Performance analysis and true concurrency semantics
British Library Conference Proceedings|Keywords: real-time systems -
An experiment in developing real-time systems using Mec
British Library Conference Proceedings|Keywords: real-time systems -
Experimenting with LOTOS in the aerospace industry
British Library Conference Proceedings|Keywords: real-time systems -
Visual tools for verifying real-time systems
British Library Conference Proceedings|Keywords: real-time systems -
Real-time system = discrete system + clock variables
British Library Conference Proceedings|Keywords: real-time systems -
Approximations for verifying timing properties
British Library Conference Proceedings|Keywords: real-time systems -
Real-time symbolic model checking for discrete time models
British Library Conference Proceedings|Keywords: real-time systems -
Real-time hierarchical systems with arbitrary scheduling at global level
Elsevier | 2016|Keywords: Real-time systems, Real-time systems scheduling -
T-CREST: Time-predictable multi-core architecture for embedded systems
Elsevier | 2015|Keywords: Real-time systems -
Integrating security constraints into fixed priority real-time schedulers
Online Contents | 2016|Keywords: Real-time systems, Security for real-time systems -
Tight Tardiness Bounds for Pseudo-Harmonic Tasks Under Global-EDF-Like Schedulers
Free accessDataCite | 2021|Keywords: Computer systems organization → Real-time systems, soft real-time systems -
Optimal Multiprocessor Locking Protocols Under FIFO Scheduling
Free accessDataCite | 2023|Keywords: Computer systems organization → Real-time systems, Real-Time 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:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
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.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.