Searching for authors named "Vered Gafni" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Decidability Results of PLOT and MASS
- …Decidability Results of PLOT and MASS vered gafni January 30, 1997 In this chapter we prove…
- Add To MetaCart
-
MASS - A Real-Time Activation Oriented Specification Language
- …MASS A Real-Time Activation Oriented Specification Language Technical Report Vered Gafni 1…
- Cited by 1 (1 self) – Add To MetaCart
-
Reasoning sbout Real-Time Reactive Systems with MASS (Extended Abstract)
- …Reasoning About Real-Time Reactive Systems with MASS (Extended Abstract) Vered Gafni Yishai…
- Add To MetaCart
-
Formal Development of Real-time Systems with PLOT/MASS
- …Formal Development of Real-time Systems with PLOT/MASS Vered Gafni Yishai Feldman Amiram Yehudai…
- Cited by 1 (0 self) – Add To MetaCart
-
Combining Reflection and Finite State Diagrams for Design Enforcement
- …Combining Reflection and Finite State Diagrams for Design Enforcement Shaul Simhi Vered Gafni…
- Add To MetaCart
Showing 1 through 5.
