Slika na naslovnici

Computing testing equivalence with binary decision diagrams /

Process algebras are a convenient tool for describing and reasoning about the behaviour of concurrent systems. A variety of equivalence relations are used to study the relationship between different systems or between different levels of abstractions of the system. This paper reports on an implement...

Popoln opis

Shranjeno v:
Bibliografske podrobnosti
Main Authors: Meolic, Robert. (Author), Kapus, Tatjana. (Author), Brezočnik, Zmago. (Author)
Format: Book Chapter
Jezik:English
Teme:
verification > automatic verification > systems > binary decision diagrams > BDD > testing equivalence
verifikacija > sistemi > binarni odločitveni diagrami > odločitveni grafi
Sorodne knjige/članki:Vsebovano v: Zbornik sedme Elektrotehniške in računalniške konference ERK '98, 24. - 26. september 1998, 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:

it.ukm@um.si

Podobne knjige/članki