Outils de mise en oeuvre industrielle des techniques formelles

Availability:
Ebook in PDF format. Available for immediate download after we receive your order

DRM:
ACS4

Publication Year:
2021

ISBN-13: 9782746288010

Des exemples d'utilisation des techniques formelles (méthode B, SCADE, MaTeLo, ControlBuild, SparkAda et POLYSPACE) et des techniques de vérification associées, accompagnés d'un point sur leurs avantages et leurs inconvénients.