Formally Verified Animation for RoboChart Using Interaction Trees

Autor:	Kangfeng Ye, Simon Foster, Jim Woodcock
Rok vydání:	2022
Zdroj:	Formal Methods and Software Engineering ISBN: 9783031172434
DOI:	10.1007/978-3-031-17244-1_24
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::3db4c6e62daef92265cc9cf2cc33b38f https://doi.org/10.1007/978-3-031-17244-1_24 Zobrazit plný text záznamu