Open AccessMessage sequence chart specifications with cross verification
Author(s) -
Timothy Shawn Boles
Publication year - 2001
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.33915/etd.1104
Subject(s) - computer science , programming language , sequence diagram , state diagram , state (computer science) , formal specification , context (archaeology) , formal verification , theoretical computer science , software engineering , unified modeling language , software , biology , paleontology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom