A duration calculus approach to specifying a steam-boiler control system
International Institute for Software Technology
1995

Details

Symbol***
TitleA duration calculus approach to specifying a steam-boiler control system
Call number
UNU/IIST(05)/R425/no.38
AuthorsInternational Institute for Software Technology
Series
DateTokyo : UN University : International Institute for Software Technology, Feb. 1995
Description
i, 46 p.
CollectionsUN Bodies > Research and Training Institutions > United Nations University (UNU)
Resource Type > Documents and Publications > Reports

Browse Subjects

Show more subjects...