![](/img/cover-not-exists.png)
[ACM Press the 4th FME Workshop - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering - FormaliSE '16 - Simple synthesis of reactive systems with tolerance for unexpected environmental behavior
Hagihara, Shigeki, Ueno, Atsushi, Tomita, Takashi, Shimakawa, Masaya, Yonezaki, NaokiYear:
2016
Language:
english
DOI:
10.1145/2897667.2897672
File:
PDF, 199 KB
english, 2016