Rajaa
Hakutulokset: Kirjoja kirjailijalta Ron Koymans
Rajaa
yksi hakutulos.
Specifying Message Passing and Time-Critical Systems with Temporal Logic
nidottu,
1992,
englanti,
ISBN 9783540562832
This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. Apart from the practicaluse of temporal logic for …