Giters

haslab / hcispecs

Formal models of human-machine interfaces

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

HCI Specifications

Formal models of human-machine interfaces available in this repository:

- Alaris GP infusion pump (alaris-tse)

About

Formal models of human-machine interfaces

Languages

Language:HTML 99.2%Language:CSS 0.8%Language:JavaScript 0.1%