Formal methods for real-time computing - Sin autor; Heitmeyer, Constance; Mandrioli, Dino (Chichester : [S.n.], 1996)
Keywords: MÉTODOS FORMALES; DESARROLLO DE SOFTWARE; SISTEMAS DE TIEMPO REAL