Highlights

Most recent models

Fluke 114

A model inspired in the Fluke 114 multimeter,

View Published by: José Campos, 14 Oct 2024

Pillbox model v2

New Pillbox model for the Balancing the formal and the informal in user centred desi...

View Published by: José Campos, 19 May 2020

PVS model of the FCU

The FCU Software application is an interactive software prototype of the Flight Cont...

View Published by: José Campos, 30 Mar 2020

Most downloaded models

BBraun two layer model (thinv6t3v1)

Model by Michael D. Harrison

View Published by: José Campos (175 downloads)

Air conditioning

Example of a simple MAL model, of an air conditioning system and remote control.

View Published by: Rui Couto (125 downloads)

Alaris GP infusion pump models -- extended versio...

Alaris GP infusion pump models from: Verification Templates for the Analysis of User...

View Published by: José Campos (56 downloads)