print · source · login   

Coffee Machine Toy Example

Source publication: [SHM11]

Description

A simple example of a Mealy machine that models a coffee machine, used as running example in [SHM11]:

Coffee Machine