Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Vered
Last name:	Gafni
DBLP:	34/1867
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 5 of 5  

Select a publication
Show	Title	Venue	Rating	Date
	Vered Gafni. Robots: A Real-Time Systems Architectural Style.	Software Engineering - ESEC/FSE'99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, Proceedings 1999	(0)	1999
	Vered Gafni, Yishai A. Feldman, Amiram Yehudai. Real-Time Systems Development with MASS.	Electr. Notes Theor. Comput. Sci. 1999, Volume 25	(0)	1999
	Shaul Simhi, Vered Gafni, Amiram Yehudai. Combining Reflection and Finite State Diagrams for Design Enforcement.	TAPOS 1996, Volume 2	(0)	1996
	Vered Gafni, Amiram Yehudai, Yishai A. Feldman. Activation-Oriented Specification of Real-Time Systems.	Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, Proceedings 1994	(0)	1994
	Vered Gafni. A Tasking Model for Reactive Systems.	IEEE Real-Time Systems Symposium 1989	(0)	1989

Your query returned 5 matches in the database.