bibtex

@inproceedings{GQG+8a,
    title = {Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory },
    author = {Graf, Susanne and Quinton, Sophie and Girault, Alain and G{\"{o}}{\ss}ler, Gregor},
    year = {2018},
    booktitle = {Formal Methods for Industrial Critical Systems - 23rd International Conference, {FMICS} 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings},
    pages = {19--31},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {11119},
    team = {SYNC},
}


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

info visites 4092470