Scratch-Based User-Friendly Requirements Definition for Formal Verification of Control Systems
Informatics in education, 2020, Vol.19 (2), p.223-238 [Peer Reviewed Journal]2020. This work is published under https://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;ISSN: 1648-5831 ;EISSN: 2335-8971 ;DOI: 10.15388/INFEDU.2020.11
Full text available