Searching for authors named "Zohar Manna" – sorted by Relevance.
93 documents found, showing 1 through 10.
Next 10 →
-
NASA-CR-205329 "/ _ _'" " " Software Development Technologies for Reactive, Objective Real-Time, and Hybrid Systems
- …-Time, and Hybrid Systems 1996 Progress Report NASA grant NAG2-892 P.I. : Professor Zohar Manna Computer Science…
- Add To MetaCart
-
Temporal Specification and Verification of Reactive Modules
- …Temporal Specification and Verification of Reactive Modules Zohar Manna Stanford University y…
- Cited by 5 (0 self) – Add To MetaCart
-
Time for Concurrency
- …Time for Concurrency Zohar Manna y Amir Pnueli z October 6, 1992 Abstract. A hierarchy…
- Cited by 1 (0 self) – Add To MetaCart
-
An Exercise in the Verification of Multi-Process Programs
- …An Exercise in the Verification of Multi-Process Programs Zohar Manna Stanford University y…
- Cited by 7 (4 self) – Add To MetaCart
-
On the Faithfulness of Formal Models
- …1 On the Faithfulness of Formal Models Zohar Manna Amir Pnueli Stanford University y Weizmann…
- Cited by 6 (0 self) – Add To MetaCart
-
Verification of Parameterized Programs
- …Verification of Parameterized Programs Zohar Manna and Amir Pnueli 1 Introduction In this chapter…
- Cited by 9 (1 self) – Add To MetaCart
-
A Temporal Proof Methodology for Reactive Systems
- …A Temporal Proof Methodology for Reactive Systems Zohar Manna Stanford University y…
- Cited by 15 (0 self) – Add To MetaCart
-
The Anchored Version of the Temporal Framework
- …The Anchored Version of the Temporal Framework Zohar Manna Department of Computer Science…
- Cited by 50 (5 self) – Add To MetaCart
-
Verifying Hybrid Systems
- …Verifying Hybrid Systems ? Zohar Manna 1 and Amir Pnueli 2 1 Department of Computer Science…
- Cited by 65 (1 self) – Add To MetaCart
-
Models for Reactivity
- …Models for Reactivity ;y Zohar Manna z Amir Pnueli x October 17, 1994 Abstract. A hierarchy…
- Cited by 44 (6 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
