| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri |
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation.  |
Ada-Europe  |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Garrido, Juan Zamorano, Alejandro Alonso 0001, Juan Antonio de la Puente |
On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks. |
Ada-Europe |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann Blieberger, Bernd Burgstaller |
Safe Non-blocking Synchronization in Ada2x. |
Ada-Europe |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luís Miguel Pinho |
Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP. |
Ada-Europe |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar Jaradat, Sasikumar Punnekkat |
Using Safety Contracts to Verify Design Assumptions During Runtime. |
Ada-Europe |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | António Casimiro, Pedro Miguel Ferreira (eds.) |
Reliable Software Technologies - Ada-Europe 2018 - 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings |
Ada-Europe |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Maroua Maalej, S. Tucker Taft, Yannick Moy |
Safe Dynamic Memory Management in Ada and SPARK. |
Ada-Europe |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Real, Sergio Sáez, Alfons Crespo |
Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar. |
Ada-Europe |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Filip Markovic, Jan Carlson, Radu Dobrin |
Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling. |
Ada-Europe |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Munari, Sebastiano Valle, Tullio Vardanega |
Microservice-Based Agile Architectures: An Opportunity for Specialized Niche Technologies. |
Ada-Europe |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Javier Gutiérrez, Héctor Pérez 0001 |
Theory and Practice of EDF Scheduling in Distributed Real-Time Systems. |
Ada-Europe |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luís Miguel Pinho |
OpenMP Tasking Model for Ada: Safety and Correctness. |
Ada-Europe |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Garrido, Juan Zamorano, Alejandro Alonso 0001, Juan Antonio de la Puente |
Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile. |
Ada-Europe |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Carletto, Tullio Vardanega |
Ravenscar-EDF: Comparative Benchmarking of an EDF Variant of a Ravenscar Runtime. |
Ada-Europe |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Seongho Jeong, Shinhyung Yang, Bernd Burgstaller |
Lock Elision for Protected Objects Using Intel Transactional Synchronization Extensions. |
Ada-Europe |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaotian Dai 0001, Alan Burns 0001 |
Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems. |
Ada-Europe |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann Blieberger, Markus Bader (eds.) |
Reliable Software Technologies - Ada-Europe 2017 - 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings |
Ada-Europe |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns 0001, Sanjoy K. Baruah |
Migrating Mixed Criticality Tasks Within a Cyclic Executive Framework. |
Ada-Europe |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Suzana Milutinovic, Jaume Abella 0001, Irune Agirre, Mikel Azkarate-askasua, Enrico Mezzetti, Tullio Vardanega, Francisco J. Cazorla |
Software Time Reliability in the Presence of Cache Memories. |
Ada-Europe |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | António Casimiro, Inês Pinto Gouveia, José Rufino |
Enforcing Timeliness and Safety in Mission-Critical Systems. |
Ada-Europe |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Garrido, Shuai Zhao 0004, Alan Burns 0001, Andy J. Wellings |
Supporting Nested Resources in MrsP. |
Ada-Europe |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Medina 0001, Etienne Borde, Laurent Pautet |
Directed Acyclic Graph Scheduling for Mixed-Criticality Systems. |
Ada-Europe |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Rogers, José F. Ruiz, Tristan Gingold, Patrick Bernardi |
A New Ravenscar-Based Profile. |
Ada-Europe |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Chapman |
Sanitizing Sensitive Data: How to Get It Right (or at Least Less Wrong...). |
Ada-Europe |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro R. Mosteo |
RxAda: An Ada implementation of the ReactiveX API. |
Ada-Europe |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrique Díaz, Mikel Fernández, Leonidas Kosmidis, Enrico Mezzetti, Carles Hernández 0001, Jaume Abella 0001, Francisco J. Cazorla |
MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding. |
Ada-Europe |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi 0001 |
An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada. |
Ada-Europe |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohsen Laali, Huai Liu, Margaret Hamilton 0001, Maria Spichkova, Heinz W. Schmidt |
Test Case Prioritization Using Online Fault Detection Information. |
Ada-Europe |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhilash Thekkilakattil, Kaiqian Zhu, Yonggao Nie, Radu Dobrin, Sasikumar Punnekkat |
An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive Scheduling. |
Ada-Europe |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Real, Sergio Sáez, Alfons Crespo |
Combining Time-Triggered Plans with Priority Scheduled Task Sets. |
Ada-Europe |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Mazzanti |
An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine. |
Ada-Europe |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi 0001 |
Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model. |
Ada-Europe |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns 0001 |
Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems. |
Ada-Europe |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | HaiTao Mei 0001, Ian Gray, Andy J. Wellings |
Real-Time Stream Processing in Java. |
Ada-Europe |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Mittermayr, Johann Blieberger |
Kronecker Algebra for Static Analysis of Barriers in Ada. |
Ada-Europe |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Héctor Pérez 0001, J. Javier Gutiérrez, Michael González Harbour, J. Carlos Palencia |
The Polling Effect on the Schedulability of Distributed Real-Time Systems. |
Ada-Europe |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew V. Jones |
Addressing the Regression Test Problem with Change Impact Analysis for Ada. |
Ada-Europe |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Wafa Gabsi, Bechir Zalila, Mohamed Jmaiel |
Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance. |
Ada-Europe |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wittiger |
Eliminating Data Race Warnings Using CSP. |
Ada-Europe |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones (eds.) |
Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings |
Ada-Europe |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Baracchi, Silvia Mazzini, Stefano Puri, Tullio Vardanega |
Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development. |
Ada-Europe |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel |
From AADL Model to LNT Specification. |
Ada-Europe |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | András Balázs, Attila Baksa, H. Bitterlich, I. Hernyes, O. Küchemann, Zoltan Pálos, J. Rustenbach, W. Schmidt, Péter Spányi, J. Sulyán, Sándor Szalai, Laszlo Várhalmi |
The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission. |
Ada-Europe |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft |
An Execution Model for Fine-Grained Parallelism in Ada. |
Ada-Europe |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Fernández 0001, Héctor Pérez 0001, J. Javier Gutiérrez, Michael González Harbour |
AFDX Emulator for an ARINC-Based Training Platform. |
Ada-Europe |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Díaz, Daniel Garrido |
Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later. |
Ada-Europe |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Pérez 0001, David González, Salvador Trujillo, Ton Trapman |
A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning. |
Ada-Europe |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Baldovin, Alessandro Zovi, Geoffrey Nelissen, Stefano Puri |
The CONCERTO Methodology for Model-Based Development of Avionics Software. |
Ada-Europe |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar Jaradat, Iain Bate, Sasikumar Punnekkat |
Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases. |
Ada-Europe |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Antonio de la Puente, Tullio Vardanega (eds.) |
Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings |
Ada-Europe |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenik Pavletic, Markus Voelter, Syed Aoun Raza, Bernd Kolb, Timo Kehrer |
Extensible Debugger Framework for Extensible Languages. |
Ada-Europe |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Husni Khanfar, Björn Lisper, Abu Naser Masud |
Static Backward Program Slicing for Safety-Critical Systems. |
Ada-Europe |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey Nelissen, David Pereira, Luís Miguel Pinho |
A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring. |
Ada-Europe |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Zamorano, Jorge Garrido |
Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS. |
Ada-Europe |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Urueña, Nuria Pérez, Bruno N. Calvo, Carlos Flores, Andreas Jung |
Guaranteeing Timing Requirements in the IXV On-Board Software. |
Ada-Europe |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastiano Catellani, Luca Bonato, Sebastian Huber, Enrico Mezzetti |
Challenges in the Implementation of MrsP. |
Ada-Europe |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Sáez, Alfons Crespo |
Integrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels. |
Ada-Europe |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiale Zhou, Yue Lu 0005, Kristina Lundqvist |
A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems. |
Ada-Europe |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky |
Practical Formal Methods in Railways - The SafeCap Approach. |
Ada-Europe |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Lainé |
Lessons Learned and Easily Forgotten. |
Ada-Europe |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Miguel Pinho, Brad Moore, Stephen Michell |
Parallelism in Ada: Status and Prospects. |
Ada-Europe |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Burgstaller, Johann Blieberger |
Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects. |
Ada-Europe |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent George 0001, Tullio Vardanega (eds.) |
Reliable Software Technologies - Ada-Europe 2014, 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings |
Ada-Europe |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns 0001, Andy J. Wellings |
Deadline-Aware Programming and Scheduling. |
Ada-Europe |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Shawky |
Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems. |
Ada-Europe |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto |
Towards a Runtime Verification Framework for the Ada Programming Language. |
Ada-Europe |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Manar Qamhieh, Serge Midonnet |
Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level. |
Ada-Europe |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Sáez, Jorge Real, Alfons Crespo |
Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012. |
Ada-Europe |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilya Lopatkin, Alexander B. Romanovsky |
Rigorous Development of Fault-Tolerant Systems through Co-refinement. |
Ada-Europe |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Hanis, Burkhard Stadlmann |
OBUs' Development and Maintenance of a Train Control System for Low Density Traffic Lines. |
Ada-Europe |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Jaouën, Etienne Borde, Laurent Pautet, Thomas Robert 0003 |
PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems. |
Ada-Europe |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Michell, Brad Moore, Luís Miguel Pinho |
Tasklettes - A Fine Grained Parallelism for Ada on Multicores. |
Ada-Europe |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Baldovin, Enrico Mezzetti, Tullio Vardanega |
Towards a Time-Composable Operating System. |
Ada-Europe |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Héctor Pérez 0001, J. Javier Gutiérrez |
Experience with the Integration of Distribution Middleware into Partitioned Systems. |
Ada-Europe |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario |
Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems. |
Ada-Europe |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Reinier van Kampenhout, Robert Hilbrich |
Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors. |
Ada-Europe |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Barry S. Fagin, Martin C. Carlisle |
Provably Secure DNS: A Case Study in Reliable Software. |
Ada-Europe |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilio Salazar, Alejandro Alonso 0001, Miguel A. de Miguel, Juan Antonio de la Puente |
A Model-Based Framework for Developing Real-Time Safety Ada Systems. |
Ada-Europe |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Quinot, Eric Botcazou |
Lady Ada Mediates Peace Treaty in Endianness War. |
Ada-Europe |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk (eds.) |
Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings |
Ada-Europe |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl Brandon, Peter Chapin |
A SPARK/Ada CubeSat Control Program. |
Ada-Europe |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaozhen Xue, Akbar Siami Namin |
Measuring the Odds of Statements Being Faulty. |
Ada-Europe |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Esteban Asensio, Ismael Lafoz, Andrew Coombes, Julian Navas |
Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software. |
Ada-Europe |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pak-Lok Poon, Tsong Yueh Chen, T. H. Tse |
Choices, Choices: Comparing between CHOC'LATE and the Classification-Tree Methodology. |
Ada-Europe |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Panunzio, Tullio Vardanega |
Ada Ravenscar Code Archetypes for Component-Based Development. |
Ada-Europe |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Edmunds, Abdolbaghi Rezazadeh, Michael J. Butler |
Formal Modelling for Ada Implementations: Tasking Event-B. |
Ada-Europe |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Louis Fairbairn, Alan Burns 0001 |
Implementing and Verifying EDF Preemption-Level Resource Control. |
Ada-Europe |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov |
Augmenting Formal Development with Use Case Reasoning. |
Ada-Europe |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia López Martínez, Tullio Vardanega |
Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development. |
Ada-Europe |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Pölzlbauer, Iain Bate, Eugen Brenner |
Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems. |
Ada-Europe |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marisol García-Valls, Felipe Ibáñez-Vázquez |
Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA. |
Ada-Europe |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Ruiz, Cyrille Comar, Yannick Moy |
Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012. |
Ada-Europe |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Sáez, Jorge Real, Alfons Crespo |
An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications. |
Ada-Europe |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Forler, Stefan Lucks, Jakob Wenzel 0001 |
Designing the API for a Cryptographic Library - A Misuse-Resistant Application Programming Interface. |
Ada-Europe |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Theodor Tempelmeier |
Teaching 'Concepts of Programming Languages' with Ada. |
Ada-Europe |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis |
Formal Goal-Oriented Development of Resilient MAS in Event-B. |
Ada-Europe |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Brorsson, Luís Miguel Pinho (eds.) |
Reliable Software Technologies - Ada-Europe 2012 - 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings |
Ada-Europe |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristoffer Nyborg Gregertsen, Amund Skavhaug |
Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit. |
Ada-Europe |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | José Miguel Faria, João Martins, Jorge Sousa Pinto |
An Approach to Model Checking Ada Programs. |
Ada-Europe |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio L. Medina, Álvaro Garcia Cuesta |
Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license