H ? « ‹ ← → › »

Language peer sets for RT-Z:
Designed 1999 ↑
1990s languages ↑
Internet↑
New internationlism↑

RT-Z(ID:8161/)

alternate simple view
Designed 1999

for RealTime Z

combination of Z and CSP
Related languages
CSP → RT-Z   Incorporated features of
Z → RT-Z   Incorporated features of
References:
  • Suhl, C. (1999) Suhl, C. "RT-Z: an integration of Z and timed CSP"
          in Araki, K., Galloway, A. (1999) Araki, K., Galloway, A. and Taguchi, K. editors: IFM'99: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder