| Period | 22 Apr 2019 |
|---|---|
| Event title | Workshop on Advances in Model Based Testing: A-MOST 2019 |
| Event type | Workshop |
| Conference number | 15 |
| Location | Xian, ChinaShow on map |
| Degree of Recognition | International |
Related content
-
Projects
-
CRYSTAL - Critical Systems Engineering Factories
Project: Research project
-
Publications
-
Programming Behavioral Test Models for SMT Solving in Scala
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review