Property Lifecycle Diagram for Tracing State Machine Diagram Changes.

Shinpei Ogata Yusuke Nishizawa Erina Makihara Mizue Kayama Kozo Okano

Published in: ENASE (2021)

Keyphrases

state machine
state transition
fault tolerant
state machines
finite state machines
data sets
multiscale