Verimag

bibtex

@inproceedings{WZY+12,
    title = {Modeling and Validation of PLC-Controlled Systems: A Case Study },
    author = {Wang, Rui and Zhou, Min and Yin, Liangze and Zhang, Lianyi and Sun, Jiaguang and Ming, Gu and Bozga, Marius},
    year = {2012},
    booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China},
    pages = {161-166},
    publisher = {IEEE},
    team = {DCS, RSD},
}

Publication Sections


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

info visites 912221