Now showing items 1-1 of 1

  • Relative timing based verification of concurrent systems 

    Peña Basurto, Marco A. (Marco Antonio) (Universitat Politècnica de Catalunya, 2003-04-29)
    Doctoral thesis
    Open Access
    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 ...