المؤلفون: Belli, Dimitri, Fantechi, Alessandro, Gnesi, Stefania, Masullo, Laura, Mazzanti, Franco, Quadrini, Lisa, Trentini, Daniele, Vaghi, Carlo

مصطلحات موضوعية: Requirements analysis, formal methods, software engineering, railway signalling

Relation: https://zenodo.org/communities/eu; https://doi.org/10.5281/zenodo.7225869; https://doi.org/10.5281/zenodo.7298044; oai:zenodo.org:7298044

الاتاحة: https://doi.org/10.5281/zenodo.7298044

المؤلفون: Belli, Dimitri, Fantechi, Alessandro, Gnesi, Stefania, Masullo, Laura, Mazzanti, Franco, Quadrini, Lisa, Trentini, Daniele, Vaghi, Carlo

المصدر: Formal Methods for Industrial Critical Systems ; Lecture Notes in Computer Science ; page 22-39 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031436802 9783031436819

الاتاحة: http://dx.doi.org/10.1007/978-3-031-43681-9_2
https://link.springer.com/content/pdf/10.1007/978-3-031-43681-9_2