This HTML5 document contains 39 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/
n7http://localhost/temp/predkladatel/
n13http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n18http://linked.opendata.cz/ontology/domain/vavai/
n19http://linked.opendata.cz/resource/domain/vavai/zamer/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
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#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/vyuzitiJinymSubjektem/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n9http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n6http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F68407700%3A21240%2F08%3A00191845%21RIV12-MSM-21240___/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n8http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F68407700%3A21240%2F08%3A00191845%21RIV12-MSM-21240___
rdf:type
skos:Concept n18:Vysledek
rdfs:seeAlso
http://service.felk.cvut.cz/vlsi/prj/Circ_Gen/kiss.html
dcterms:description
The Random FSM Generator is an easy-to-use tool for generating parameterized finite state machines (FSMs) described in the KISS format. It is capable of producing large automata of different types, while consistency, connectivity, and accessibility of states is kept. Very big emphasis is put on parameterization - parameters, like the number of inputs, outputs, states, the KISS file terms, percentages of 1s, 0s, don't cares, etc. can be specified by the user. The Random FSM Generator is an easy-to-use tool for generating parameterized finite state machines (FSMs) described in the KISS format. It is capable of producing large automata of different types, while consistency, connectivity, and accessibility of states is kept. Very big emphasis is put on parameterization - parameters, like the number of inputs, outputs, states, the KISS file terms, percentages of 1s, 0s, don't cares, etc. can be specified by the user.
dcterms:title
Random FSM Generator Random FSM Generator
skos:prefLabel
Random FSM Generator Random FSM Generator
skos:notation
RIV/68407700:21240/08:00191845!RIV12-MSM-21240___
n3:aktivita
n16:Z
n3:aktivity
Z(MSM6840770014)
n3:dodaniDat
n8:2012
n3:domaciTvurceVysledku
n13:2194937
n3:druhVysledku
n10:R
n3:duvernostUdaju
n17:S
n3:ekonomickeParametry
nejsou stanoveny
n3:entitaPredkladatele
n6:predkladatel
n3:idSjednocenehoVysledku
391463
n3:idVysledku
RIV/68407700:21240/08:00191845
n3:interniIdentifikace
KISS_gen
n3:jazykVysledku
n9:eng
n3:klicovaSlova
FSM, random generation, consistency check
n3:klicoveSlovo
n15:consistency%20check n15:random%20generation n15:FSM
n3:kontrolniKodProRIV
[089440003D0A]
n3:lokalizaceVysledku
http://service.felk.cvut.cz/vlsi/prj/Circ_Gen/kiss.html, používá: Pavel Kubalík, Jaroslav Borecký, Karel Houžvička
n3:obor
n11:JC
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
2
n3:rokUplatneniVysledku
n8:2008
n3:technickeParametry
software, freeware
n3:tvurceVysledku
Měchura, T. Fišer, Petr
n3:vlastnik
n6:vlastnikVysledku
n3:vyuzitiJinymSubjektem
n12:N
n3:zamer
n19:MSM6840770014
n7:organizacniJednotka
21240