| |

Click on image to enlarge

River Publishers Series in Computing and Information Science and Technology 

Certifications of Critical Systems - The CECRIS Experience

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

Dept. of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary , Resiltech s.r.l., Pontedera (PI), Italy , Department of Mathematics and Informatics, University of Florence, Florence, Italy , CINI-Consorzio Interuniversitario Nazionale per l’Informatica-University of Florence, Florence, Italy

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: [1441] Reads [863]    

Book Contents:

Chapter 7
Lightweight Formal Analysis of Requirements
by Andr´as Pataricza, Imre Kocsis, Francesco Brancati, Lorenzo Vinerbi and Andrea Bondavalli
Download as a PDF [5078KB]


Certifications of Critical Systems - The CECRIS Experience