Physigrams: Modelling devices for natural interaction
From MaRDI portal
Recommendations
Cites work
- An approach to formal verification of human-computer interaction
- Formal specification of a display-oriented text editor
- scientific article; zbMATH DE number 3951971 (Why is no real title available?)
- scientific article; zbMATH DE number 575952 (Why is no real title available?)
- scientific article; zbMATH DE number 1964939 (Why is no real title available?)
- Physigrams: Modelling devices for natural interaction
- Statecharts: a visual formalism for complex systems
This page was built for publication: Physigrams: Modelling devices for natural interaction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1047222)