Verifikacija komunikacijskega obnašanja sistemov z uporabo binarnih odločitvenih grafov = Verification of systems communication behaviour using binary decision diagrams /
Communication behavior of distributed systems can be rigorously verified for its logical correctness by a process algebra. We have written a program package for automatic verification of finite-state systems based on an efficient internal representation of the systems and operations on them so as to...
Shranjeno v:
Main Authors: | , , |
---|---|
Format: | Book Chapter |
Jezik: | Slovenian |
Sorodne knjige/članki: | Vsebovano v:
Zbornik pete Elektrotehniške in računalniške konference ERK '96, 19. - 21. september 1996, 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: