Modelling Finite-State Machines in the Verification Environment using Software Design Patterns

Author(s):
Darko M. Tomušilović and Mihajlo Z. Minović
Location:
Europe
Year:
2017
Type:
Paper
Format:
pdf