On Teaching Applied Formal Methods in Aerospace Engineering-Reference-Cited by-同舟云学术

On Teaching Applied Formal Methods in Aerospace Engineering

Published:2019 Issue: Volume: Page:111-131
ISSN:0302-9743
Container-title:Formal Methods Teaching
language:
Short-container-title:

Author:

Rozier Kristin Yvonne^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-32441-4_8

Reference40 articles.

1. Ameur, Y.A., Boniol, F., Wiels, V.: Toward a wider use of formal methods for aerospace systems design and verification. Int. J. Softw. Tools Technol. Transf. 12(1), 1–7 (2010)

2. Lecture Notes in Computer Science;N Basir,2008

3. Lecture Notes in Computer Science;P Behm,1999

4. Bérard, B., et al.: Systems and Software Verification: Model-checking Techniques and Tools. Springer, Heidelberg (2013). https://www.amazon.com/Systems-Software-Verification-Model-Checking-Techniques/dp/3642074782/ref=sr_1_1?ie=UTF8&qid=1483572091&sr=8-1&keywords=systems+and+software+verification

5. Lecture Notes in Computer Science;B Bittner,2014

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

1. Introducing GitHub Classroom into a Formal Methods Module;Lecture Notes in Computer Science;2024

2. Impact and Influence of Cyber-Physical Systems Research on Autonomous Aerospace Systems;AIAA SCITECH 2023 Forum;2023-01-19

3. Translating SysML Activity Diagrams for nuXmv Verification of an Autonomous Pancreas;2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC);2022-06

4. When the Student Becomes the Teacher;Communications in Computer and Information Science;2021

5. Introducing Formal Methods to First-Year Students in Three Intensive Weeks;Formal Methods Teaching;2021