| |

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:
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