Formal development and quantitative verification of dependable systems

about
author
inLanguage
  • en
isPartOf
name
  • Formal development and quantitative verification of dependable systems
P60049

Instances

Formal development and quantitative verification of dependable systems

description
  • Julkaistu myös verkkoaineistona ISBN 978-952-12-2832-2 (PDF)
isPartOf
name
  • Formal development and quantitative verification of dependable systems

Formal development and quantitative verification of dependable systems

bookFormat
isPartOf
name
  • Formal development and quantitative verification of dependable systems
url

Formal development and quantitative verification of dependable systems

bookFormat
isPartOf
name
  • Formal development and quantitative verification of dependable systems
url

Formal development and quantitative verification of dependable systems

datePublished
  • 2013
description
  • Artikkeliväitöskirjan yhteenveto-osa ja 6 eripainosta.
  • kuvitettu
  • Nimiösivulla myös: Turku Centre for Computer Science, Åbo Akademi University, Department of Information Technologies.
  • Sammanfattning + 8 artiklar.
identifier
  • propertyID: FI-FENNI value: 1021497
  • propertyID: FI-MELINDA value: 006137829
  • propertyID: FI-MELINDA value: 006164585
  • propertyID: skl value: fx1021497
isbn
  • 9789521228315
isPartOf
name
  • Formal development and quantitative verification of dependable systems
numberOfPages
  • xii, 51, [136] s.
P60048
P60050
publication
  • location: Turku organizer: Turun tietotekniikan tutkimus- ja koulutuskeskus
publisher

Download this resource as RDF: