Expressing the Formal Semantics of CSP and CP or ADA Tasking With the Temporal Logic Language XYZ/E.

doi 10.21236/ada111504
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Defense Technical Information Center