@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://urn.fi/URN:NBN:fi:bib:me:W00016724700> schema:contributor <http://urn.fi/URN:NBN:fi:au:pn:000109876> ;
    schema:name "The probabilistic steam boiler : a case study in probabilistic data refinement" .

<http://urn.fi/URN:NBN:fi:bib:me:W00018336100> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000109876> ;
    schema:name "Refining for safety" .

<http://urn.fi/URN:NBN:fi:bib:me:W00018336200> schema:contributor <http://urn.fi/URN:NBN:fi:au:pn:000109876> ;
    schema:name "Hazard analysis in formal specification" .

<http://urn.fi/URN:NBN:fi:bib:me:W00018668100> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000109876> ;
    schema:name "Specifying safety-related hazards formally" .

<http://urn.fi/URN:NBN:fi:bib:me:W00029843800> schema:contributor <http://urn.fi/URN:NBN:fi:au:pn:000109876> ;
    schema:name "Fault tolerance in a layered architecture : a general specification pattern in B" .

<http://urn.fi/URN:NBN:fi:bib:me:W00031000900> schema:contributor <http://urn.fi/URN:NBN:fi:au:pn:000109876> ;
    schema:name "Refinement of fault tolerant control systems in B" .

<http://urn.fi/URN:NBN:fi:bib:me:W00035769800> schema:contributor <http://urn.fi/URN:NBN:fi:au:pn:000109876> ;
    schema:name "A formal model-driven approach to requirements engineering" .

<http://urn.fi/URN:NBN:fi:bib:me:W00036403500> schema:contributor <http://urn.fi/URN:NBN:fi:au:pn:000109876> ;
    schema:name "Formal service-oriented development of fault tolerant systems" .

<http://urn.fi/URN:NBN:fi:bib:me:W00036404800> schema:contributor <http://urn.fi/URN:NBN:fi:au:pn:000109876> ;
    schema:name "Formal development of dynamically adaptable fault tolerant systems" .

<http://urn.fi/URN:NBN:fi:bib:me:W00037182000> schema:contributor <http://urn.fi/URN:NBN:fi:au:pn:000109876> ;
    schema:name "Formal development of software for tolerating transient faults" .

<http://urn.fi/URN:NBN:fi:bib:me:W00090732300> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000109876> ;
    schema:name "Enhancing dependability via parameterized refinement" .

<http://urn.fi/URN:NBN:fi:bib:me:W00273426000> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000109876> ;
    schema:name "Stepwise development of dependable systems" .

<http://urn.fi/URN:NBN:fi:bib:me:W00527515300> schema:contributor <http://urn.fi/URN:NBN:fi:au:pn:000109876> ;
    schema:name "Formal Methods 2008",
        "Proceedings of Doctoral Symposium held in conjunction with Formal Methods 2008 : May 27, 2008, Turku, Finland" .

<http://urn.fi/URN:NBN:fi:au:pn:000109876> a schema:Person ;
    schema:name "Troubitsyna, Elena" .