bibtex

@inproceedings{CTA07b,
    title = {Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems },
    author = {Cassez, Franck and Tripakis, Stavros and Altisen, Karine},
    year = {2007},
    booktitle = {TASE '07: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering},
    address = {Washington, DC, USA},
    pages = {316--325},
    publisher = {IEEE Computer Society},
    team = {SYNC},
}


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

info visites 4137660