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

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

Namespace Prefixes

Prefix	IRI
dcterms	http://purl.org/dc/terms/
n11	http://localhost/temp/predkladatel/
n12	http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n4	http://linked.opendata.cz/resource/domain/vavai/projekt/
n18	http://linked.opendata.cz/ontology/domain/vavai/
n20	http://linked.opendata.cz/resource/domain/vavai/zamer/
skos	http://www.w3.org/2004/02/skos/core#
n3	http://linked.opendata.cz/ontology/domain/vavai/riv/
n17	http://linked.opendata.cz/ontology/domain/vavai/riv/licencniPoplatek/
n2	http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n9	http://linked.opendata.cz/ontology/domain/vavai/riv/kategorie/
n8	http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F06%3A00002205%21RIV07-AV0-11320___/
n15	http://linked.opendata.cz/ontology/domain/vavai/riv/vyuzitiJinymSubjektem/
n14	http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n21	http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdh	http://www.w3.org/2001/XMLSchema#
n16	http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n7	http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n19	http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n13	http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n10	http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item

n2:RIV%2F00216208%3A11320%2F06%3A00002205%21RIV07-AV0-11320___

rdf:type

n18:Vysledek skos:Concept

dcterms:description

Nástroj pro formální verifikaci korektnosti sestavení aplikace ze softwarových komponent, založený na metodě “model checking”. Samostatně použitelný nástroj zapojený do projektu SOFA, v jehož rámci je přijat a šířen konsorciem ObjectWeb.org. Behavior Protocols Checker, [http://sofa.objectweb.org/download.phtml] Behavior Protocols Checker, [http://sofa.objectweb.org/download.phtml]

dcterms:title

Nástroj pro ověřování behavior protokolů Behavior Protocols Checker Behavior Protocols Checker

skos:prefLabel

Nástroj pro ověřování behavior protokolů Behavior Protocols Checker Behavior Protocols Checker

skos:notation

RIV/00216208:11320/06:00002205!RIV07-AV0-11320___

n3:aktivita

n7:Z n7:P

n3:aktivity

P(1ET400300504), Z(MSM0021620838)

n3:dodaniDat

n10:2007

n3:domaciTvurceVysledku

n12:1241230

n3:druhVysledku

n19:S

n3:duvernostUdaju

n21:S

n3:ekonomickeParametry

Neuveden

n3:entitaPredkladatele

n8:predkladatel

n3:idSjednocenehoVysledku

466684

n3:idVysledku

RIV/00216208:11320/06:00002205

n3:interniIdentifikace

KSI2006-2

n3:jazykVysledku

n16:eng

n3:kategorie

n9:A

n3:klicovaSlova

Behavior; Protocols; Checker

n3:klicoveSlovo

n14:Checker n14:Behavior n14:Protocols

n3:kontrolniKodProRIV

[DD77FA0036DB]

n3:licencniPoplatek

n17:N

n3:lokalizaceVysledku

Volně šířeno konsorciem ObjectWeb.org, seznam koncových uživatelů není k dispozici.

n3:obor

n13:JC

n3:pocetDomacichTvurcuVysledku

1

n3:pocetTvurcuVysledku

1

n3:projekt

n4:1ET400300504

n3:rokUplatneniVysledku

n10:2006

n3:technickeParametry

Neuveden

n3:tvurceVysledku

Kofroň, Jan

n3:vlastnik

n8:vlastnikVysledku

n3:vyuzitiJinymSubjektem

n15:A

n3:zamer

n20:MSM0021620838

n11:organizacniJednotka

11320