Mostrando ítems 1-1 de 1
Peña Basurto, Marco A. (Marco Antonio) (Fecha de defensa: 2003-04-29)
La tesi presenta una nova teoria i una metodologia per a la verificació formal de propietats de seguretat en sistemes temporitzats. El correcte funcionament d'aquests sistemes no només depèn d'un conjunt de propietats ...