This HTML5 document contains 40 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n18http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n15http://purl.org/net/nknouf/ns/bibtex#
n19http://linked.opendata.cz/resource/domain/vavai/projekt/
n8http://linked.opendata.cz/resource/domain/vavai/subjekt/
n7http://linked.opendata.cz/ontology/domain/vavai/
n12https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
n17http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F12%3A00377611%21RIV13-AV0-67985807/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n9http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n5http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F67985807%3A_____%2F12%3A00377611%21RIV13-AV0-67985807
rdf:type
skos:Concept n7:Vysledek
dcterms:description
Modern technical systems are heterogeneous in the sense that they tightly integrate computational elements into physical surroundings. Computational elements usually require discrete, and physical systems continuous modeling. In this paper, we present an modeling formalism and safety verification algorithm for such heterogeneous systems. Modern technical systems are heterogeneous in the sense that they tightly integrate computational elements into physical surroundings. Computational elements usually require discrete, and physical systems continuous modeling. In this paper, we present an modeling formalism and safety verification algorithm for such heterogeneous systems.
dcterms:title
An Algorithm for Formal Safety Verification of Complex Heterogeneous Systems An Algorithm for Formal Safety Verification of Complex Heterogeneous Systems
skos:prefLabel
An Algorithm for Formal Safety Verification of Complex Heterogeneous Systems An Algorithm for Formal Safety Verification of Complex Heterogeneous Systems
skos:notation
RIV/67985807:_____/12:00377611!RIV13-AV0-67985807
n7:predkladatel
n8:ico%3A67985807
n3:aktivita
n4:P n4:I
n3:aktivity
I, P(OC10048)
n3:dodaniDat
n5:2013
n3:domaciTvurceVysledku
Ratschan, Stefan
n3:druhVysledku
n11:D
n3:duvernostUdaju
n16:S
n3:entitaPredkladatele
n17:predkladatel
n3:idSjednocenehoVysledku
121869
n3:idVysledku
RIV/67985807:_____/12:00377611
n3:jazykVysledku
n6:eng
n3:klicovaSlova
verification; complex systems; safety
n3:klicoveSlovo
n9:verification n9:complex%20systems n9:safety
n3:kontrolniKodProRIV
[BCAE1A29F194]
n3:mistoKonaniAkce
Brno
n3:mistoVydani
Brno
n3:nazevZdroje
REC 2012. Proceedings of the 5th International Conference on Reliable Engineering Computing
n3:obor
n13:JC
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:projekt
n19:OC10048
n3:rokUplatneniVysledku
n5:2012
n3:tvurceVysledku
Ratschan, Stefan
n3:typAkce
n18:WRD
n3:zahajeniAkce
2012-06-13+02:00
s:numberOfPages
11
n15:hasPublisher
Litera
n12:isbn
978-80-214-4507-9