Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study-Reference-Cited by-同舟云学术

Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study

Published:2019 Issue: Volume: Page:502-518
ISSN:0302-9743
Container-title:From Software Engineering to Formal Methods and Tools, and Back
language:
Short-container-title:

Author:

Lenzini Gabriele,Petrocchi Marinella

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-30985-5_29

Reference31 articles.

1. Bartolini, C., Lenzini, G., Santos, C.: An agile approach to validate a formal representation of the GDPR. In: New Frontiers in Artificial Intellingence. New Frontiers in Artificial Intelligence. Springer (2019, in press)

2. Basile, D., ter Beek, M.H., Ciancia, V.: Statistical model checking of a moving block railway signalling scenario with Uppaal SMC - experience and outlook. In: Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, 5–9 November 2018, Proceedings, Part II, pp. 372–391 (2018). https://doi.org/10.1007/978-3-030-03421-4_24

3. Basile, D., ter Beek, M.H., Ferrari, A., Legay, A.: Modelling and analysing ERTMS L3 moving block railway signalling with simulink and Uppaal SMC. In: Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, 30–31 August 2019, Proceedings (2019). https://doi.org/10.1007/978-3-030-27008-7_1

4. Caimi, C., Gambardella, C., Manea, M., Petrocchi, M., Stella, D.: Legal and technical perspectives in data sharing agreements definition. In: Privacy Technologies and Policy - Third Annual Privacy Forum, APF 2015, Luxembourg, 7–8 October 2015, Revised Selected Papers, pp. 178–192 (2015). https://doi.org/10.1007/978-3-319-31456-3_10

5. Coco Cloud Consortium - Confidential and Compliant Clouds: Deliverable 4.2: First DSA management infrastructure (2015). http://www.coco-cloud.eu/deliverables

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Systematic Machine Translation of Social Network Data Privacy Policies;Applied Sciences;2022-10-18

2. A review on cybersecurity in railways;Proceedings of the Institution of Mechanical Engineers, Part F: Journal of Rail and Rapid Transit;2022-04-26