Fernando Villar

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
1Miguel Camafort-Babkowski
1Susana Sans
1Pedro Armario
1Rosa Moreno
1Juan Pedro-Botet
Learn More
  • Carlos Brotons, José Maria Lobos, Miguel Ángel Royo-Bordonada, Antonio Maiques, Ana de Santiago, Ángel Castellanos +20 others
  • 2013
BACKGROUND The successful implementation of cardiovascular disease (CVD) prevention guidelines relies heavily on primary care physicians (PCPs) providing risk factor evaluation, intervention and patient education. The aim of this study was to ascertain the degree of awareness and implementation of the Spanish adaptation of the European guidelines on CVD(More)
In this paper we present the design and implementation, as well as a use case, of a tool for workflow analysis. The tool provides an assistant for the specification of properties of a workflow model. The specification language for property description is Fluent Linear Time Temporal Logic. Fluents provide an adequate flexibility for capturing properties of(More)
  • 1