Critical Systems: Formal Methods and Automated Verification

Critical Systems: Formal Methods and Automated Verification
Laure Petrucci, Cristina Seceleanu and Ana Cavalcanti

Laure Petrucci, Cristina Seceleanu and Ana Cavalcanti. by Prof. Tiziana Margaria (University of Limerick and Lero - The Irish Software Research Centre, Ireland) and Prof. Bernhard Steffen (TU Dortmund, Germany). We hereby thank theĀ ...

Download

Download Free Books Downloader

Version: 1.0.0.1. File Size: 1.97 MB