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

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

Doktorandnätverk IT and Mathematics

Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

2 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Förlag	Turku Centre for Computer Science (TUCS)
ISBN (tryckt)	978-952-12-3325-8
Status	Publicerad - 2015
MoE-publikationstyp	D4 Publicerad utvecklings- eller forskningsrapport eller studie

Citera det här

@book{6cb5cc940ad643459e7e4d12012d8b74,

title = "An Excursion Through Quantitative Model Refinement",

author = "\{Azimi Rashti\}, Sepinoud and Eugen Czeizler and Diana-Elena Gratie and Cristian Gratie and Bogdan Iancu and Ibssa Nebiat and Ion Petre and Vladimir Rogojin and Tolou Shadbahr and Fatima Shokri-Manninen",

note = "TUCS Technical Report No 1150",

year = "2015",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-952-12-3325-8",

publisher = "Turku Centre for Computer Science (TUCS)",

}

TY - BOOK

T1 - An Excursion Through Quantitative Model Refinement

AU - Azimi Rashti, Sepinoud

AU - Czeizler, Eugen

AU - Gratie, Diana-Elena

AU - Gratie, Cristian

AU - Iancu, Bogdan

AU - Nebiat, Ibssa

AU - Petre, Ion

AU - Rogojin, Vladimir

AU - Shadbahr, Tolou

AU - Shokri-Manninen, Fatima

N1 - TUCS Technical Report No 1150

PY - 2015

Y1 - 2015

M3 - Beställd rapport

SN - 978-952-12-3325-8

BT - An Excursion Through Quantitative Model Refinement

PB - Turku Centre for Computer Science (TUCS)

ER -