Research output per year
Research output per year
Search results
-
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).Research output: Book/Journal/Report › Commissioned report › Professional
2 Citations (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)Research output: Book/Journal/Report › Commissioned report › Professional