PDF:
Model Checking as a Service: Towards Pragmatic Hidden Formal Methods
| Cím | Model Checking as a Service: Towards Pragmatic Hidden Formal Methods |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2020 |
| Szerzők | Horváth, B., Graics, B., Hajdu, Á., Micskei, Z., Molnár, V., Ráth, I., Andolfato, L., Gomes, I., and Karban, R. |
| Konferencia neve | Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings |
| DOI | 10.1145/3417990.3421407 |
