Search

Your search keyword '"B. Trakhtenbrot"' showing total 2 results
Start Over Author "B. Trakhtenbrot" Publisher elsevier
2 results on '"B. Trakhtenbrot"'

1. STATEMATE: A Working Environment for the Development of Complex Reactive Systems Manuscript received May 12, 1988; revised November 13, 1989. Recommended by L. A. Belady. This work was supported in part by the Bird Foundation and the Israel Ministry of Industry and Commerce. IEEE Log Number 8933740. STATEMATE is a registered trademark of i-Logix, Inc

Author

Aharon Shtull-Trauring, Amir Pnueli, Hagi Lachover, A. Naamad, Mark B. Trakhtenbrot, R. Sherman, David Harel, and M. Politi

Subjects
Work (electrical), Computer science, Foundation (engineering), Christian ministry, Registered trademark, Reactive system, Working environment, Management
Published
2002
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results