default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAda-Europe 2014: Paris, France
- Laurent George, Tullio Vardanega
:
Reliable Software Technologies - Ada-Europe 2014, 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings. Lecture Notes in Computer Science 8454, Springer 2014, ISBN 978-3-319-08310-0 - Robert Lainé:
Lessons Learned and Easily Forgotten. 1-6 - Mohamed Shawky:
Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems. 7-10 - Ilya Lopatkin, Alexander B. Romanovsky:
Rigorous Development of Fault-Tolerant Systems through Co-refinement. 11-26 - Bernd Burgstaller, Johann Blieberger:
Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects. 27-42 - Jiale Zhou, Yue Lu, Kristina Lundqvist:
A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems. 43-57 - André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto:
Towards a Runtime Verification Framework for the Ada Programming Language. 58-73 - Sergio Sáez, Jorge Real, Alfons Crespo:
Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012. 74-90 - Luís Miguel Pinho, Brad Moore, Stephen Michell:
Parallelism in Ada: Status and Prospects. 91-106 - Alan Burns, Andy J. Wellings:
Deadline-Aware Programming and Scheduling. 107-118 - Manar Qamhieh, Serge Midonnet:
Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level. 119-133 - Sergio Sáez, Alfons Crespo:
Integrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels. 134-148 - Antoine Jaouën, Etienne Borde, Laurent Pautet, Thomas Robert:
PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems. 149-165 - Gerhard Hanis, Burkhard Stadlmann:
OBUs' Development and Maintenance of a Train Control System for Low Density Traffic Lines. 166-176 - Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky:
Practical Formal Methods in Railways - The SafeCap Approach. 177-192
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
