MontiBelle - Toolbox for a Model-Based Development and Verification of Distributed Critical Systems for Compliance with Functional Safety (bibtex)
by Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe
Reference:
H. Kausch, M. Pfeiffer, D. Raco, and B. Rumpe. MontiBelle - Toolbox for a Model-Based Development and Verification of Distributed Critical Systems for Compliance with Functional Safety, In: AIAA Scitech 2020 Forum, January, 2020, American Institute of Aeronautics and Astronautics.
Bibtex Entry:
@inproceedings{KPRR20,
    author = {Kausch, Hendrik and Pfeiffer, Mathias and Raco, Deni and Rumpe, Bernhard},
    title = {{MontiBelle - Toolbox for a Model-Based Development and Verification of Distributed Critical Systems for Compliance with Functional Safety}},
    booktitle = {AIAA Scitech 2020 Forum},
    year = {2020},
    month = {January},
    location = {Orlando},
    publisher = {American Institute of Aeronautics and Astronautics},
    url = {http://www.se-rwth.de/publications/MontiBelle-Toolbox-for-a-Model-Based-Development-and-Verification-of-Distributed-Critical-Systems-for-Compliance-with-Functional-Safety.pdf}
}
Powered by bibtexbrowser