Reliable Software Technologies – Ada-Europe 2014 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319083100, 9783319083117
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Parallelism in Ada: Status and Prospects

2014 ◽  
pp. 91-106 ◽  
Author(s):  
Luís Miguel Pinho ◽  
Brad Moore ◽  
Stephen Michell

PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems

2014 ◽  
pp. 149-165
Author(s):  
Antoine Jaouën ◽  
Etienne Borde ◽  
Laurent Pautet ◽  
Thomas Robert

scholarly journals Towards a Runtime Verification Framework for the Ada Programming Language

2014 ◽  
pp. 58-73 ◽  
Author(s):  
André de Matos Pedro ◽  
David Pereira ◽  
Luís Miguel Pinho ◽  
Jorge Sousa Pinto
Keyword(s):  
Programming Language ◽  
Runtime Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document