Formal model refinement for complex biological systems

Muhammad Usman Sanwal

Tutkimustuotos: Väitöskirjatyypit › Tohtorinväitöskirja › Artikkelikokoelma

Abstrakti

Alkuperäiskieli	Englanti
Valvoja/neuvonantaja	Petre, Luigia, Valvoja Petre, Ion, Valvoja
Julkaisupaikka	Åbo, Finland
Kustantaja	Åbo Akademi University
Painoksen ISBN	978-952-12-3925-0
Sähköinen ISBN	978-952-12-3926-7
Tila	Julkaistu - 2020
OKM-julkaisutyyppi	G5 Tohtorinväitöskirja (artikkeli)

@phdthesis{a301dc679f9540b1874d749c65d64b15,

title = "Formal model refinement for complex biological systems",

keywords = "biological models, Modeling",

author = "Sanwal, {Muhammad Usman}",

note = "Sammanfattningsdel + 4 artiklar. P{\aa} titelsidan {\"a}ven: Faculty of Science and Engineering, {\AA}bo Akademi University.",

year = "2020",

language = "English",

isbn = "978-952-12-3925-0 ",

publisher = "{\AA}bo Akademi University",

}

TY - BOOK

T1 - Formal model refinement for complex biological systems

AU - Sanwal , Muhammad Usman

N1 - Sammanfattningsdel + 4 artiklar. På titelsidan även: Faculty of Science and Engineering, Åbo Akademi University.

PY - 2020

Y1 - 2020

KW - biological models

KW - Modeling

M3 - Doctoral Thesis

SN - 978-952-12-3925-0

PB - Åbo Akademi University

CY - Åbo, Finland

ER -