Verimag

bibtex

@inproceedings{BHL+00c,
    title = {Verification of Sequential Function Charts using SMV },
    author = {Bornot, S\'ebastien and Huuck, Ralf and Lakhnech, Yassine and Lukoschus, Ben},
    year = {2000},
    booktitle = {PDPTA 2000 special session on Formal Validation},
    team = {DCS},
}

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 2.1.26 + AHUNTSIC [CC License]

Visiteurs connectés : 9 ; visites : 448990