Combinando "Model Checking" y "Proof Checking" en el análisis de sistemas de tiempo real

Luna, Carlos Daniel

Combinando "Model Checking" y "Proof Checking" en el análisis de sistemas de tiempo real - p. 554-558

DIF-M4783