Model Checking as a Service: Towards Pragmatic Hidden Formal Methods

CímModel Checking as a Service: Towards Pragmatic Hidden Formal Methods
Közlemény típusaConference Paper
Kiadás éve2020
SzerzőkHorváth, B., Graics, B., Hajdu, Á., Micskei, Z., Molnár, V., Ráth, I., Andolfato, L., Gomes, I., and Karban, R.
Konferencia neveProceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
DOI10.1145/3417990.3421407
PDF: