Browsing by Author "Ocaña, J."
Modelling surgical pavilions and a unit of anaesthesia on a Chilean hospital using Specification and Description Language Leiva Olmos, J.; Fonseca Casas, Pau; Ocaña, J. (2011)
Open AccessThis work addresses the problem of performing a formal modelling of the processes related to the surgical pavilions and an anaesthesia unit on a Chilean hospital. To perform this modelling we used Specification and ...