Urejanje blokov ločene prehajalne relacije /
This paper presents sorting of partitioned transition relation blocks at symbolic state space traversal of finite state machines (FSM). The algorithm was applied to our fully home-made program package for manipulating FSMs. We give benchmark results and analysis of the algorithm usage over a set of...
Shranjeno v:
Main Authors: | , , |
---|---|
Format: | Book Chapter |
Jezik: | Slovenian |
Teme: | |
Sorodne knjige/članki: | Vsebovano v:
Zbornik osme Elektrotehniške in računalniške konference ERK '99, 23. - 25. september 1999, Portorož, Slovenija |
Oznake: |
Označite
Brez oznak, prvi označite!
|
Vzdrževanje sistema
Trenutno vzdržujemo knjižnični informacijski sistem.
Informacije o zalogi so trenutno nedostopne. Opravičujemo se za nevšečnosti in vas prosimo da nas ponovno kontaktirate: