Formal Specification

case of S

init

s := Infini

Atap

s := 10 u.t ; van := open ; in:= stop ; S := Remp; flag:= 2

Remp.

s := C/V ; van := close ; in:= run ; S := Atap; flag:= 2

Internal transition function

Input events : ( com:= marche, 50)(com:=arręt, 200)

Formal specification

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica