Runtime validation of communication histories : an automata-based approach
Øystein Torget
Bok Engelsk 2006
| Utgitt | Oslo : Ø. Torget , 2006
|
|---|---|
| Omfang | x, 117 s. : fig.
|
| Opplysninger | Masteroppgave i informatikk - Universitetet i Oslo, 2006 informatikk automater tilstandsmaskiner kommunikasjon historikk validering runtime verification aspect orientering
|
| Emner |
