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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n15http://localhost/temp/predkladatel/
n13http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n8http://linked.opendata.cz/resource/domain/vavai/projekt/
n7http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F07%3A00024472%21RIV10-GA0-14330___/
n12http://linked.opendata.cz/ontology/domain/vavai/
n10http://linked.opendata.cz/resource/domain/vavai/zamer/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
skoshttp://www.w3.org/2004/02/skos/core#
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/vyuzitiJinymSubjektem/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n17http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F07%3A00024472%21RIV10-GA0-14330___
rdf:type
n12:Vysledek skos:Concept
dcterms:description
Software tool for qualitative verification of probabilistic systems applicable on distributed-memory parallel HW platforms. Models are specifed using modelling language ProbDVE, properties are given as formulas of linear temporal logic. Software tool for qualitative verification of probabilistic systems applicable on distributed-memory parallel HW platforms. Models are specifed using modelling language ProbDVE, properties are given as formulas of linear temporal logic.
dcterms:title
ProbDiVinE ProbDiVinE
skos:prefLabel
ProbDiVinE ProbDiVinE
skos:notation
RIV/00216224:14330/07:00024472!RIV10-GA0-14330___
n4:aktivita
n11:Z n11:P
n4:aktivity
P(1ET408050503), P(GA201/06/1338), Z(MSM0021622419)
n4:dodaniDat
n17:2010
n4:domaciTvurceVysledku
n13:2361132 n13:5692792 n13:1846000 n13:4293738 n13:6500773
n4:druhVysledku
n14:R
n4:duvernostUdaju
n19:S
n4:entitaPredkladatele
n7:predkladatel
n4:idSjednocenehoVysledku
444562
n4:idVysledku
RIV/00216224:14330/07:00024472
n4:interniIdentifikace
probdivine
n4:jazykVysledku
n16:eng
n4:klicovaSlova
qualitative parallel verification; model-checking; probabilistic systems
n4:klicoveSlovo
n5:qualitative%20parallel%20verification n5:model-checking n5:probabilistic%20systems
n4:kontrolniKodProRIV
[36CD8A5DC318]
n4:lokalizaceVysledku
http://www.fi.muni.cz/paradise/software.html#probdivine
n4:obor
n9:IN
n4:pocetDomacichTvurcuVysledku
5
n4:pocetTvurcuVysledku
5
n4:projekt
n8:1ET408050503 n8:GA201%2F06%2F1338
n4:rokUplatneniVysledku
n17:2007
n4:technickeParametry
Kvalitativní verifikace pravděpodobnostních systémů na platformách s distribuovanou pamětí, MPI/Linux, vyžaduje DiVinE Library.
n4:tvurceVysledku
Češka, Milan Brim, Luboš Černá, Ivana Tůmová, Jana Barnat, Jiří
n4:vlastnik
n7:vlastnikVysledku
n4:vyuzitiJinymSubjektem
n18:N
n4:zamer
n10:MSM0021622419
n15:organizacniJednotka
14330