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

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

Namespace Prefixes

PrefixIRI
n5http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n19http://purl.org/net/nknouf/ns/bibtex#
n14http://localhost/temp/predkladatel/
n15http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n13http://linked.opendata.cz/ontology/domain/vavai/
n17http://linked.opendata.cz/resource/domain/vavai/zamer/
n18http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23520%2F01%3A00065316%21RIV%2F2002%2FMSM%2F235202%2FN/
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/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n7http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n20http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n4http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F49777513%3A23520%2F01%3A00065316%21RIV%2F2002%2FMSM%2F235202%2FN
rdf:type
n13:Vysledek skos:Concept
dcterms:description
Description of a simulation model of TTP/C protocol. The paper describes the modular structure and platform portability of the model as well as the possible application: an exact protocol specification and verification of FT properties. Description of a simulation model of TTP/C protocol. The paper describes the modular structure and platform portability of the model as well as the possible application: an exact protocol specification and verification of FT properties.
dcterms:title
Simulation model of TTP/C protocol Simulation model of TTP/C protocol
skos:prefLabel
Simulation model of TTP/C protocol Simulation model of TTP/C protocol
skos:notation
RIV/49777513:23520/01:00065316!RIV/2002/MSM/235202/N
n3:strany
S. 239-244
n3:aktivita
n16:Z
n3:aktivity
Z(MSM 235200005)
n3:dodaniDat
n4:2002
n3:domaciTvurceVysledku
n15:6624367
n3:druhVysledku
n9:D
n3:duvernostUdaju
n20:S
n3:entitaPredkladatele
n18:predkladatel
n3:idSjednocenehoVysledku
695798
n3:idVysledku
RIV/49777513:23520/01:00065316
n3:jazykVysledku
n8:eng
n3:klicovaSlova
TTP/C; TTA; Simulation; C-SIM; Modelling; Fault Injection; Fault Tolerance
n3:klicoveSlovo
n7:Fault%20Injection n7:Modelling n7:TTP%2FC n7:TTA n7:C-SIM n7:Fault%20Tolerance n7:Simulation
n3:kontrolniKodProRIV
[1F0FA27DE648]
n3:mistoKonaniAkce
Neuveden
n3:mistoVydani
Neuveden
n3:nazevZdroje
Simulation model of TTP/C protocol
n3:obor
n10:JC
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:pocetUcastnikuAkce
0
n3:pocetZahranicnichUcastnikuAkce
0
n3:rokUplatneniVysledku
n4:2001
n3:tvurceVysledku
Grillinger, Petr
n3:typAkce
n5:CST
n3:zahajeniAkce
2001-01-01+01:00
n3:zamer
n17:MSM%20235200005
s:numberOfPages
6
n19:hasPublisher
Neuveden
n14:organizacniJednotka
23520