National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Model-driven development and verification of fault tolerant systems
URI:
http://urn.fi/URN:NBN:fi:bib:me:W01144235700
author
Javed, Kashif
inLanguage
en
isPartOf
Fennica
name
Model-driven development and verification of fault tolerant systems
P60049
<http://rdaregistry.info/termList/RDAContentType/1020>
Instances
-
2017 : Turun tietotekniikan tutkimus- ja koulutuskeskus
2017 : Turun tietotekniikan tutkimus- ja koulutuskeskus
Model-driven development and verification of fault tolerant systems
URI:
http://urn.fi/URN:NBN:fi:bib:me:I01221746901
isbn
9789521235528
isPartOf
Fennica
name
Model-driven development and verification of fault tolerant systems
Model-driven development and verification of fault tolerant systems
URI:
http://urn.fi/URN:NBN:fi:bib:me:I01144235700
datePublished
2017
description
Artikkeliväitöskirjan yhteenveto-osa ja 6 eripainosta.
kuvitettu
isbn
9789521235528
isPartOf
Fennica
TUCS general publications / Turku Centre for Computer Science
name
Model-driven development and verification of fault tolerant systems
numberOfPages
xii, 87 sivua, 58 sivua useina numerointijaksoina
P60048
<http://rdaregistry.info/termList/RDACarrierType/1018>
<http://rdaregistry.info/termList/RDACarrierType/1048>
<http://rdaregistry.info/termList/RDACarrierType/1049>
P60050
<http://rdaregistry.info/termList/RDAMediaType/1003>
<http://rdaregistry.info/termList/RDAMediaType/1007>
publication
location:
Åbo
organizer:
Turun tietotekniikan tutkimus- ja koulutuskeskus
publisher
Turun tietotekniikan tutkimus- ja koulutuskeskus
Model-driven development and verification of fault tolerant systems
URI:
http://urn.fi/URN:NBN:fi:bib:me:I01221746900
datePublished
2017
isbn
9789521235535
isPartOf
Fennica
name
Model-driven development and verification of fault tolerant systems
numberOfPages
1 verkkoaineisto (157 sivua)
P60048
<http://rdaregistry.info/termList/RDACarrierType/1018>
<http://rdaregistry.info/termList/RDACarrierType/1049>
P60050
<http://rdaregistry.info/termList/RDAMediaType/1003>
publication
location:
Åbo
organizer:
Turun tietotekniikan tutkimus- ja koulutuskeskus
publisher
Turun tietotekniikan tutkimus- ja koulutuskeskus
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD