Verifikation af sandtidsprogrammer : en indføring i brug af formelle metoder til verifikation af programmer med sideløbende processer, herunder anvendelse af Petri net
John Mølgaard, Jens Heile Heilesen
Bok Dansk 1986
| Utgitt | Hørsholm : Elektronikcentralen , 1986
|
|---|---|
| Omfang | 119 s. : ill.
|
| Emner | |
| ISBN | 8773980498
|
