This HTML5 document contains 20 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/
n13	http://linked.opendata.cz/ontology/domain/vavai/riv/vysledekDruh/
n2	http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F06%3APU66861%21RIV07-MSM-26230___/hodnoceni/
n16	http://linked.opendata.cz/ontology/domain/vavai/riv/skupinaOboru/
n17	http://linked.opendata.cz/ontology/domain/vavai/
n5	http://linked.opendata.cz/ontology/domain/vavai/riv/
n7	http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledkuVHodnoceni/
rdfs	http://www.w3.org/2000/01/rdf-schema#
skos	http://www.w3.org/2004/02/skos/core#
n9	http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F06%3APU66861%21RIV07-MSM-26230___/hodnoceni/2011/
n15	http://linked.opendata.cz/ontology/domain/vavai/riv/navaznostiVysledku/
n12	http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdh	http://www.w3.org/2001/XMLSchema#
n6	http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n11	http://linked.opendata.cz/ontology/domain/vavai/riv/rozsahVyrazeni/
n4	http://localhost/ontology/
n14	http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item

n2:2011

rdf:type

n17:OhodnocenyVysledek

rdfs:seeAlso

http://www.isvav.cz/h11/resultDetail.do?rowId=RIV%2F00216305%3A26230%2F06%3APU66861!RIV07-MSM-26230___

dcterms:title

REUSE OF FORMAL SPECIFICATIONS IN EMBEDDED SYSTEMS DESIGN

skos:notation

RIV/00216305:26230/06:PU66861!RIV07-MSM-26230___

n5:druhVysledkuVHodnoceni

n7:neu

n5:navaznostiVysledku

n15:P%28GA102%2F05%2F0467%29

n5:podilHodnoceniNaVysledku

1

n5:publikacniKanal

Proceedings of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2006

n5:rokHodnoceniVysledku

n14:2012

n5:rozsahVyrazeni

n11:0

n5:skupinaOboru

n16:02

n5:upraveneBodoveHodnoceniCelehoVysledku

0

n5:upravenyBodovyPodilHodnoceniNaVysledku

0

n5:vysledek

n12:RIV%2F00216305%3A26230%2F06%3APU66861%21RIV07-MSM-26230___

n5:vysledekDruh

n13:D

n4:zpusobPrizazeniBodu-duvodVyrazeni

Článek ve sborníku má uvedeno ISBN nebo ISSN, ale to není v databázi Conference Proceedings Citation Index společnosti Thomson Reuters.

n5:domaciTvurceVysledku

n9:tvurce_%C5%A0v%C3%A9da%2C%20Miroslav

n5:idSjednocenehoVysledku

fsZZq3YS.FcPa!L8cZGBocxCFW4=

n5:obor

n6:JC

n5:rokUplatneniVysledku

n14:2006