Original language | Undefined/Unknown |
---|---|
Publisher | Turku Centre for Computer Science (TUCS) |
ISBN (Print) | 978-952-12-3325-8 |
Publication status | Published - 2015 |
MoE publication type | D4 Published development or research report or study |
An Excursion Through Quantitative Model Refinement
Sepinoud Azimi Rashti, Eugen Czeizler, Diana-Elena Gratie, Cristian Gratie, Bogdan Iancu, Ibssa Nebiat, Ion Petre, Vladimir Rogojin, Tolou Shadbahr, Fatima Shokri-Manninen
Research output: Book/Journal/Report › Commissioned report › Professional
2
Citations
(Scopus)