Can I read Sequential Correctness in Procedures on EtoBox?
Sequential Correctness in Procedures by gberry101 is a document available to read on EtoBox.
What is Sequential Correctness in Procedures about?
This document describes a proposed formal approach to developing and evaluating procedures for sequential correctness. The approach uses modeling techniques from discrete-event and hybrid systems control. It suggests augmenting current informal procedural design processes with a formal evaluation of procedures in terms of sequential correctness and other factors. The approach models human-machine systems and procedures using finite state machines and Statecharts to formally represent system behavior and pro
- Author
- gberry101
- Language
- EN