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

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

Namespace Prefixes

PrefixIRI
n17http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n10http://localhost/temp/predkladatel/
n6http://purl.org/net/nknouf/ns/bibtex#
n12http://linked.opendata.cz/resource/domain/vavai/projekt/
n11http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n19http://linked.opendata.cz/ontology/domain/vavai/
n8http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F03%3APU42555%21RIV06-GA0-26230___/
n4https://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/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n9http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n20http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n14http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216305%3A26230%2F03%3APU42555%21RIV06-GA0-26230___
rdf:type
skos:Concept n19:Vysledek
dcterms:description
This paper presents some formal methods for specification and verification of industrial applications (for example embedded systems) and applying those methods in frame of system design. One goal of this work is founding the major formal methods and representation potential users of such methods. Tento článek prezentuje některé formální metody pro specifikaci a verifikaci průmyslových aplikací a aplikování těchto metod v rámci návrhu systému.<br> This paper presents some formal methods for specification and verification of industrial applications (for example embedded systems) and applying those methods in frame of system design. One goal of this work is founding the major formal methods and representation potential users of such methods.
dcterms:title
Selected Methods of Specification and Verification of Industriall Application Selected Methods of Specification and Verification of Industriall Application Vybrané metody specifikace a verifikace průmyslových aplikací
skos:prefLabel
Vybrané metody specifikace a verifikace průmyslových aplikací Selected Methods of Specification and Verification of Industriall Application Selected Methods of Specification and Verification of Industriall Application
skos:notation
RIV/00216305:26230/03:PU42555!RIV06-GA0-26230___
n3:strany
614-618
n3:aktivita
n16:P
n3:aktivity
P(GA102/02/1032)
n3:dodaniDat
n14:2006
n3:domaciTvurceVysledku
n11:6165281
n3:druhVysledku
n20:D
n3:duvernostUdaju
n13:S
n3:entitaPredkladatele
n8:predkladatel
n3:idSjednocenehoVysledku
626607
n3:idVysledku
RIV/00216305:26230/03:PU42555
n3:jazykVysledku
n18:eng
n3:klicovaSlova
formal methods, model checking, theorem proving
n3:klicoveSlovo
n9:formal%20methods n9:model%20checking n9:theorem%20proving
n3:kontrolniKodProRIV
[5B93257859AD]
n3:mistoKonaniAkce
Brno
n3:mistoVydani
Brno
n3:nazevZdroje
Proceedings of the 9th Conference and Competition STUDENT EEICT 2003
n3:obor
n15:JC
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:projekt
n12:GA102%2F02%2F1032
n3:rokUplatneniVysledku
n14:2003
n3:tvurceVysledku
Bureš, František
n3:typAkce
n17:CST
n3:zahajeniAkce
2003-04-24+02:00
s:numberOfPages
5
n6:hasPublisher
Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií
n4:isbn
80-214-2379-X
n10:organizacniJednotka
26230