Richiedi una copia del documento: Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems

Annulla