[IEEE 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in...

[IEEE 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Florence, Italy (2015.5.18-2015.5.18)] 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering - Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

Fitzgerald, John, Gamble, Carl, Larsen, Peter Gorm, Pierce, Kenneth, Woodcock, Jim

Avez-vous aimé ce livre?

Quelle est la qualité du fichier téléchargé?

Veuillez télécharger le livre pour apprécier sa qualité

Quelle est la qualité des fichiers téléchargés?

Année:

2015

Langue:

english

DOI:

10.1109/formalise.2015.14

Fichier:

PDF, 1.20 MB

english, 2015

La conversion en est effectuée

La conversion en a échoué