bibtex

@inproceedings{JDM+4,
    title = { Environment-Model Based Testing of Control Systems: Case Studies },
    author = {Jahier, Erwan and Djoko-Djoko, Simplice and Maiza, Chaouki and Lafont, Eric},
    month = {April},
    year = {2014},
    booktitle = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014), Held as Part of ETAPS 2014.},
    address = {Grenoble, France},
    publisher = {LNCS},
    team = {SYNC},
}

URL


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

info visites 3902320