Attributes | Values |
---|
rdf:type
| |
rdfs:seeAlso
| |
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
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...onomickeParametry
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/68407700:21240/08:00191845
|
http://linked.open...terniIdentifikace
| |
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - FSM, random generation, consistency check (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...okalizaceVysledku
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...echnickeParametry
| |
http://linked.open...iv/tvurceVysledku
| |
http://linked.open...avai/riv/vlastnik
| |
http://linked.open...itiJinymSubjektem
| |
http://linked.open...n/vavai/riv/zamer
| |
http://localhost/t...ganizacniJednotka
| |
is http://linked.open...avai/riv/vysledek
of | |