Structure-Behavior Coalescence Process Algebra - Toward a Unified View of the System in Model-Based Systems Engineering.

William S. Chao

Published in: CoRR (2021)

Keyphrases

systems engineering
process algebra
formal specification
software engineering
knowledge extraction
database
case study
industrial applications
asynchronous circuits
concurrent systems