Return to search

An integration of Z and Timed CSP for specifying real time embedded systems

Techn. University, Diss., 2002--Berlin.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/175071672
CreatorsSühl, Carsten.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0018 seconds