Publikationer per år
Publikationer per år
- 2 resultat
Sökresultat
-
An Excursion Through Quantitative Model Refinement
Azimi Rashti, S., Czeizler, E., Gratie, D-E., Gratie, C., Iancu, B., Nebiat, I., Petre, I., Rogojin, V., Shadbahr, T. & Shokri-Manninen, F., 2015, Turku Centre for Computer Science (TUCS).Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
2 Citeringar (Scopus) -
Improving the Modelling Experience in Event-B - A Literature Review
Olszewska, M., Shokri-Manninen, F., Edmunds, A. & Walden, M., 2018, Turku Center for Computer Science (TUCS). (TUCS Technical Report; vol. 1196)Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell