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:I00987662403
isbn
9789526069593
isPartOf
Fennica
Publications in Telecommunications Software and Multimedia : B, Technical report
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:I00987657601
description
Yhteenveto-osa julkaistu myös verkkoaineistona
isPartOf
Fennica
Publications in Telecommunications Software and Multimedia : B, Technical report
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
Publications in Telecommunications Software and Multimedia : B, Technical report
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
Publications in Telecommunications Software and Multimedia : B, Technical report
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
Publications in Telecommunications Software and Multimedia : B, Technical report
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
Publications in Telecommunications Software and Multimedia : B, Technical report
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
Publications in Telecommunications Software and Multimedia : B, Technical report
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
Publications in Telecommunications Software and Multimedia : B, Technical report
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
Publications in Telecommunications Software and Multimedia : B, Technical report
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