A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements

Racem Bougacha
Digital Printed Abstract View Cite
Type
Conference paper
Publication
7th International Conference on Rigorous State Based Methods (ABZ'20)

Abstract

IRT Railenium ( http://railenium.eu/fr/) is a test and applied research center for the rail industry in France. One of its three R&D and innovation programs aims in particular to provide the technological tools and bricks necessary for the development of the Autonomous Train.

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{Bougacha20,
  author       = {Racem Bougacha},
  editor       = {Alexander Raschke and
                  Dominique M{\'{e}}ry and
                  Frank Houdek},
  title        = {A Formal Approach for the Modeling of High-Level Architectures Aligned
                  with System Requirements},
  booktitle    = {Rigorous State-Based Methods - 7th International Conference, {ABZ}
                  2020, Ulm, Germany, May 27-29, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12071},
  pages        = {409--413},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-48077-6\_33},
  doi          = {10.1007/978-3-030-48077-6\_33},
  timestamp    = {Mon, 25 May 2020 12:33:39 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/Bougacha20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
ABZ'20

Related