Model Learning and Testing (and some observations on formal methods research in the Netherlands)
| Autor: | Vaandrager, F., Huisman, M. |
|---|---|
| Přispěvatelé: | Huisman, M. |
| Rok vydání: | 2019 |
| Předmět: | |
| Zdroj: | Technical Report ; UU-CS-2019-004, 15-16. Utrecht : Utrecht University STARTPAGE=15;ENDPAGE=16;TITLE=Technical Report ; UU-CS-2019-004 Huisman, M. (ed.), A Research Agenda for Formal Methods in the Netherlands, pp. 15-16 |
| Popis: | Contains fulltext : 207660.pdf (Publisher’s version ) (Open Access) |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|