Our SoSyM journal-first paper (Probabilistic modelling and verification using RoboChart and PRISM) is invited to present in MODELS2022.
Period
27 Oct 2022
Event title
25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022
Event type
Conference
Sponsors
ACM Special Interest Group on Software Engineering (ACM SIGSOFT), et al., Huawei, IEEE Computer Society (IEEE-CS), IEEE Computer Society, Technical Committee on Software Engineering (TCSE), University of Montreal