7 search results - page 2 / 2 » Extending Ravenscar with CSP Channels |
FM
1999
Springer
13 years 9 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
FDL
2005
IEEE
13 years 11 months ago
2005
IEEE
The support of heterogeneity at the specification level, that is, the ability to mix several models of computation (MoCs) in the system-level specification, is becoming increasing...