1–20 of 202 hits
Sort by:
Sort by:
-
Practical Formal Methods in Railways - The SafeCap Approach
British Library Conference Proceedings | 2014|Keywords: Ada Europe -
OBUs' Development and Maintenance of a Train Control System for Low Density Traffic Lines
British Library Conference Proceedings | 2014|Keywords: Ada Europe -
Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level
British Library Conference Proceedings | 2014|Keywords: Ada Europe -
PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems
British Library Conference Proceedings | 2014|Keywords: Ada Europe -
Towards a Runtime Verification Framework for the Ada Programming Language
British Library Conference Proceedings | 2014|Keywords: Ada Europe -
Lessons Learned and Easily Forgotten
British Library Conference Proceedings | 2014|Keywords: Ada Europe -
Parallelism in Ada: Status and Prospects
British Library Conference Proceedings | 2014|Keywords: Ada Europe -
Deadline-Aware Programming and Scheduling
British Library Conference Proceedings | 2014|Keywords: Ada Europe -
Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems
British Library Conference Proceedings | 2014|Keywords: Ada Europe -
Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012
British Library Conference Proceedings | 2014|Keywords: Ada Europe -
A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems
British Library Conference Proceedings | 2014|Keywords: Ada Europe -
Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects
British Library Conference Proceedings | 2014|Keywords: Ada Europe -
Rigorous Development of Fault-Tolerant Systems through Co-refinement
British Library Conference Proceedings | 2014|Keywords: Ada Europe -
Integrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels
British Library Conference Proceedings | 2014|Keywords: Ada Europe -
Lady Ada Mediates Peace Treaty in Endianness War
British Library Conference Proceedings | 2013|Keywords: Ada Europe -
Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors
British Library Conference Proceedings | 2013|Keywords: Ada Europe -
Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems
British Library Conference Proceedings | 2013|Keywords: Ada Europe -
Tasklettes - A Fine Grained Parallelism for Ada on Multicores
British Library Conference Proceedings | 2013|Keywords: Ada Europe -
Experience with the Integration of Distribution Middleware into Partitioned Systems
British Library Conference Proceedings | 2013|Keywords: Ada Europe -
Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software
British Library Conference Proceedings | 2013|Keywords: Ada Europe
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.