BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@inproceedings{TUW-265621,
    author = {Phan, Dung and Yang, Junxing and Clark, Matthew and Grosu, Radu and Schierman, John and Smolka, Scott A. and Stoller, Scott D.},
    title = {A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems},
    booktitle = {Application of Concurrency to System Design (ACSD), 2017 17th International Conference on},
    year = {2017},
    pages = {49--58},
    isbn = {978-1-5386-2868-3},
    doi = {10.1109/ACSD.2017.23},
    keywords = {collision avoidance;control engineering computing;large-scale systems;mobile robots;object-oriented programming;program verification;software architecture;theorem proving;A-G contracts;A-G proof rules;A-G reasoning;CBSA switching logic;assume-guarantee re},
    note = {talk: Application of Concurrency to System Design (ACSD), 2017 17th International Conference on, Zaragoza, Spain; 2017-06-25 -- 2017-06-30}
}


1 Datensatz ausgegeben