Applying model checking to analysing safety instrumented systems

URI: http://urn.fi/URN:NBN:fi:bib:me:W00527152000
author
inLanguage
  • en
isPartOf
name
  • Applying model checking to analysing safety instrumented systems
P60049

Instances

Applying model checking to analysing safety instrumented systems

URI: http://urn.fi/URN:NBN:fi:bib:me:I00527152001
description
  • Myös verkkoaineistona ISBN 978-951-22-9478-7 (PDF)
isPartOf
name
  • Applying model checking to analysing safety instrumented systems
View this in Finna

Applying model checking to analysing safety instrumented systems

URI: http://urn.fi/URN:NBN:fi:bib:me:I00527152000
datePublished
  • 2008
description
  • kuvitettu
identifier
  • propertyID: FI-FENNI value: 917262
  • propertyID: FI-MELINDA value: 005271520
  • propertyID: skl value: fx917262
isbn
  • 9789512294770
isPartOf
name
  • Applying model checking to analysing safety instrumented systems
numberOfPages
  • ix, 62 sivua
P60048
P60050
publication
  • location: Espoo organizer: Teknillinen korkeakoulu
publisher

Download this resource as RDF: