Generation of Oracle Components from Message Sequence Charts
DOI:
https://doi.org/10.31224/osf.io/d5fmxKeywords:
automata, engrxiv, message sequence chart, MSC, oracle, oracle component, preprint, state automata, state machineDownloads
Download data is not yet available.