TIOA and UPPAAL

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2004.

Մատենագիտական մանրամասներ
Հիմնական հեղինակ:	Robson, Christine Margaret, 1981-
Այլ հեղինակներ:	Stephen Garland and Dilsun Kaynar.
Ձևաչափ:	Թեզիս
Լեզու:	eng
Հրապարակվել է:	Massachusetts Institute of Technology 2005
Խորագրեր:	Electrical Engineering and Computer Science.
Առցանց հասանելիություն:	http://hdl.handle.net/1721.1/17979

Համացանց

http://hdl.handle.net/1721.1/17979