bibtex

@article{BFS+7,
    title = {{Rigorous Design of Cyber-Physical Systems} },
    author = {Bliudze, Simon and Furic, S{\'e}bastien and Sifakis, Joseph and Viel, Antoine},
    year = {2017},
    journal = {{Software \& Systems Modeling}},
    pages = {1-24},
    publisher = {{Springer Verlag}},
    team = {rsd, RSD},
}

Sections de Publications


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

info visites 1311626