• Modeling a Chilean Hospital using specification and description language 

      Leiva Olmos, Jorge; Fonseca Casas, Pau; Ocaña Rebull, Jordi (IGI Global, 2013-07)
      Capítol de llibre
      Accés restringit per política de l'editorial
      In this chapter, the authors present a formal model of the Anesthesia Unit and Surgical Wards (UAPQ) of a Chilean hospital. The objective was to document and to understand its operation, to assist hospital management and ...