Tools for specifying real-time systems
Giacomo Bucci, Maurizio Campanai, Paolo NesiVolume:
8
Language:
english
Pages:
56
DOI:
10.1007/bf01094341
Date:
March, 1995
File:
PDF, 3.90 MB
english, 1995