|
Search the dblp DataBase
Vered Gafni:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Vered Gafni
Robots: A Real-Time Systems Architectural Style. [Citation Graph (0, 0)][DBLP] ESEC / SIGSOFT FSE, 1999, pp:57-74 [Conf]
- Vered Gafni, Amiram Yehudai, Yishai A. Feldman
Activation-Oriented Specification of Real-Time Systems. [Citation Graph (0, 0)][DBLP] FTRTFT, 1994, pp:268-287 [Conf]
- Vered Gafni
A Tasking Model for Reactive Systems. [Citation Graph (0, 0)][DBLP] IEEE Real-Time Systems Symposium, 1989, pp:258-267 [Conf]
- Vered Gafni, Yishai A. Feldman, Amiram Yehudai
Real-Time Systems Development with MASS. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:25, n:, pp:- [Journal]
- Shaul Simhi, Vered Gafni, Amiram Yehudai
Combining Reflection and Finite State Diagrams for Design Enforcement. [Citation Graph (0, 0)][DBLP] TAPOS, 1996, v:2, n:4, pp:269-281 [Journal]
Search in 0.001secs, Finished in 0.001secs
|