Elisangela Rodrigues Vieira

	2007
2		Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. Ümit Uyar: Specification of Timed EFSM Fault Models in SDL. FORTE 2007: 50-65
1		Elisangela Rodrigues Vieira, Ana R. Cavalli: Towards an Automated Test Generation with Delayed Transitions for Timed Systems. RTCSA 2007: 226-231

Coauthor Index

1	Samrat S. Batth	[2]
2	Ana R. Cavalli	[1] [2]
3	M. Ümit Uyar	[2]