Q: A Sound Verification Framework for Statecharts and Their Implementations

Autor:	Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, Jon M. Aytac
Rok vydání:	2022
Zdroj:	Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::23e0667252265c72d7f11951e550e4e4 https://doi.org/10.1145/3563822.3568014 Zobrazit plný text záznamu