Verimag

bibtex

@inproceedings{BHL+00a,
    title = {Utilizing Static Analysis for Programmable Logic Controllers },
    author = {Bornot, S\'ebastien and Huuck, Ralf and Lakhnech, Yassine and Lukoschus, Ben},
    year = {2000},
    booktitle = {ADPM 2000 - The 4th International Conference Automation of Mixed Processes: Hybrid Dynamic Systems},
    team = {DCS},
}

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 817167