| |

Click on image to enlarge

River Publishers Series in Computing and Information Science and Technology 

Certifications of Critical Systems - The CECRIS Experience

Editors:
Andrea Bondavalli, Consorzio Interuniversitario Nazionale per l'Informatica (CINI), and University of Florence, Italy
Francesco Brancati, ResilTech Srl, Italy

Authors:
DIETI, Universit`a degli Studi di Napoli Federico II, Via Claudio 21, 80125 Napoli, Italy, CINI-Consorzio Interuniversitario Nazionale per l’Informatica, Italy, Prolan Process Control Co., Szentendrei ´ut 1-3, H-2011 Budakal´asz, Hungary

ISBN: 9788793519565

e-ISBN: 9788793519558

doi: https://doi.org/10.13052/rp-9788793519558

Price: €0.00

Available: September 2017

Print book available at List Price

[35.41 MB] Downloads: [1424] Reads [849]    

Book Contents:

Chapter 2
Experiencing Model-Driven Engineering for Railway Interlocking Systems
by Fabio Scippacercola, Andr´as Zentai and Stefano Russo
Download as a PDF [4513KB]

 

Certifications of Critical Systems - The CECRIS Experience