View in EDS

FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC.

Saved in:
Bibliographic Details
Title: FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC.
Authors: ter Beek, Maurice H.1, maurice.terbeek@isti.cnr.it, Damiani, Ferruccio2, ferruccio.damiani@unito.it, Lienhardt, Michael3, michael.lienhardt@onera.fr, Mazzanti, Franco1, franco.mazzanti@isti.cnr.it, Paolini, Luca2, luca.paolini@unito.it, Scarso, Giordano2, giordano.scarso@edu.unito.it
Source: Science of Computer Programming; Dec2022, Vol. 224, pN.PAG-N.PAG, 1p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first