@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:W00030911300> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000135171> ;
    schema:name "A healthcare case study : Fillwell" .

<http://urn.fi/URN:NBN:fi:bib:me:W00035727200> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000135171> ;
    schema:name "An extension of Event B for developing grid systems" .

<http://urn.fi/URN:NBN:fi:bib:me:W00039791300> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000135171> ;
    schema:name "Development of fault tolerant grid applications using distributed B" .

<http://urn.fi/URN:NBN:fi:bib:me:W00039792400> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000135171> ;
    schema:name "Optimisation based black-box testing of assertions in Simulink models" .

<http://urn.fi/URN:NBN:fi:bib:me:W00041539900> schema:contributor <http://urn.fi/URN:NBN:fi:au:pn:000135171> ;
    schema:name "Formal transformation of platform independent models into platform specific models in MDA" .

<http://urn.fi/URN:NBN:fi:bib:me:W00046134800> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000135171> ;
    schema:name "Mode-automata in Simulink/Stateflow" .

<http://urn.fi/URN:NBN:fi:bib:me:W00055008100> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000135171> ;
    schema:name "Formal design and verification of systems using domain-specific languages" .

<http://urn.fi/URN:NBN:fi:au:pn:000135171> a schema:Person ;
    schema:name "Boström, Pontus" .