Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real- Time Systems.
['Kawtar Benghazi Akhlaki', 'Manuel I. Capel Tuñón']
Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real- Time Systems.