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

Author(s):
Darko M. Tomušilović
Location:
Europe
Year:
2017
Type:
Presentation
Format:
pdf