bibtex

@inproceedings{BBB+8d,
    title = { Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in {DR-BIP} },
    author = {Ballouli, Rim El and Bensalem, Saddek and Bozga, Marius and Sifakis, Joseph},
    year = {2018},
    booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part {III}},
    pages = {304--320},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {11245},
    team = {RSD, axe_Mohytos},
}

URL


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

info visites 3885939