National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Model checking large nuclear power plant safety system designs
URI:
http://urn.fi/URN:NBN:fi:bib:me:W00987657600
about
automaatio
testaus
turvajärjestelmät
turvallisuus
ydinvoimalat
author
Lahtinen, Jussi
inLanguage
en
isPartOf
Fennica
name
Model checking large nuclear power plant safety system designs
P60049
<http://rdaregistry.info/termList/RDAContentType/1020>
Instances
-
-
-
-
-
-
-, e-book
2016 : Aalto-yliopisto
2016 : Aalto-yliopisto, e-book
Model checking large nuclear power plant safety system designs
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00987657601
description
Yhteenveto-osa julkaistu myös verkkoaineistona
isPartOf
Fennica
Vaasan korkeakoulun julkaisuja. Tutkimuksia. Kielitiede
name
Model checking large nuclear power plant safety system designs
Model checking large nuclear power plant safety system designs
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00987657602
isbn
9789526069586
isPartOf
Fennica
Vaasan korkeakoulun julkaisuja. Tutkimuksia. Kielitiede
name
Model checking large nuclear power plant safety system designs
Model checking large nuclear power plant safety system designs
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00987662403
isbn
9789526069593
isPartOf
Fennica
Vaasan korkeakoulun julkaisuja. Tutkimuksia. Kielitiede
name
Model checking large nuclear power plant safety system designs
Model checking large nuclear power plant safety system designs
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00987662402
isbn
9789513884482
isPartOf
Fennica
Vaasan korkeakoulun julkaisuja. Tutkimuksia. Kielitiede
name
Model checking large nuclear power plant safety system designs
Model checking large nuclear power plant safety system designs
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00987657603
isbn
9789513884475
isPartOf
Fennica
Vaasan korkeakoulun julkaisuja. Tutkimuksia. Kielitiede
name
Model checking large nuclear power plant safety system designs
Model checking large nuclear power plant safety system designs
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00987662401
description
Julkaistu myös painettuna
isPartOf
Fennica
Vaasan korkeakoulun julkaisuja. Tutkimuksia. Kielitiede
name
Model checking large nuclear power plant safety system designs
Model checking large nuclear power plant safety system designs
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00987657604
bookFormat
<http://schema.org/EBook>
isPartOf
Fennica
Vaasan korkeakoulun julkaisuja. Tutkimuksia. Kielitiede
name
Model checking large nuclear power plant safety system designs
url
<http://urn.fi/URN:ISBN:978-952-60-6958-6>
Model checking large nuclear power plant safety system designs
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00987657600
datePublished
2016
description
Artikkeliväitöskirjan yhteenveto-osa ja 5 eripainosta.
kuvitettu
identifier
propertyID:
FI-MELINDA
value:
009876576
isbn
9789513884482
9789526069593
isPartOf
Fennica
Vaasan korkeakoulun julkaisuja. Tutkimuksia. Kielitiede
name
Model checking large nuclear power plant safety system designs
numberOfPages
159 sivua, 60 sivua useina numerointijaksoina
P60048
<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:
Helsinki
organizer:
Aalto-yliopisto
publisher
Aalto-yliopisto
Model checking large nuclear power plant safety system designs
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00987662400
bookFormat
<http://schema.org/EBook>
datePublished
2016
description
Artikkeliväitöskirjan yhteenveto-osa.
identifier
propertyID:
FI-MELINDA
value:
009876624
isbn
9789513884475
9789526069586
isPartOf
Fennica
Vaasan korkeakoulun julkaisuja. Tutkimuksia. Kielitiede
name
Model checking large nuclear power plant safety system designs
numberOfPages
1 verkkoaineisto (165 sivua)
P60048
<http://rdaregistry.info/termList/RDACarrierType/1018>
<http://rdaregistry.info/termList/RDACarrierType/1049>
P60050
<http://rdaregistry.info/termList/RDAMediaType/1003>
publication
location:
Helsinki
organizer:
Aalto-yliopisto
publisher
Aalto-yliopisto
url
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD