Specification and compositional verification of real time systems /

Description

Univ. of Technology, Diss--Eindhoven.

Links & Downloads

1. http://www.loc.gov/catdir/enhancements/fy0815/91041783-d.html

Tags

Real-time data processing.

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/246320514
Date	January 1991
Creators	Hooman, Jozef.
Publisher	Berlin [u.a.] : Springer,
Source Sets	OCLC
Language	English
Detected Language	English