![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Ada-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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.