About: Random FSM Generator

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Random FSM Generator Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
rdfs:seeAlso	http://service.felk.cvut.cz/vlsi/prj/Circ_Gen/kiss.html
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. (en)
Title	Random FSM Generator Random FSM Generator (en)
skos:prefLabel	Random FSM Generator Random FSM Generator (en)
skos:notation	RIV/68407700:21240/08:00191845!RIV12-MSM-21240___
http://linked.open...avai/riv/aktivita	Z
http://linked.open...avai/riv/aktivity	Z(MSM6840770014)
http://linked.open...vai/riv/dodaniDat	2012
http://linked.open...aciTvurceVysledku	Fišer, Petr
http://linked.open.../riv/druhVysledku	R - Software
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...onomickeParametry	nejsou stanoveny
http://linked.open...titaPredkladatele	České vysoké učení technické v Praze / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	391463
http://linked.open...ai/riv/idVysledku	RIV/68407700:21240/08:00191845
http://linked.open...terniIdentifikace	KISS_gen
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	FSM, random generation, consistency check (en)
http://linked.open.../riv/klicoveSlovo	FSM consistency check random generation
http://linked.open...ontrolniKodProRIV	[089440003D0A]
http://linked.open...okalizaceVysledku	http://service.felk.cvut.cz/vlsi/prj/Circ_Gen/kiss.html, používá: Pavel Kubalík, Jaroslav Borecký, Karel Houžvička
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...UplatneniVysledku	2008
http://linked.open...echnickeParametry	software, freeware
http://linked.open...iv/tvurceVysledku	Fišer, Petr Měchura, T.
http://linked.open...avai/riv/vlastnik	České vysoké učení technické v Praze
http://linked.open...itiJinymSubjektem	N - Nabytí licence není nutné (výsledek není licencován)
http://linked.open...n/vavai/riv/zamer	Výzkum perspektivních informačních a komunikačních technologií
http://localhost/t...ganizacniJednotka	21240
is http://linked.open...avai/riv/vysledek of	Random FSM Generator Random FSM Generator

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 41 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software