Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML.

Jaco Jacobs Andrew Simpson

Published in: ICFEM (2013)

Keyphrases

formal methods
software architecture
asynchronous circuits
process algebra
information systems
case study
programming language
grid workflow