M. Umit Uyar

Single Fault Models for Timed FSMs

M. Umit Uyar, Yu Wang, S.S. Batth, 2005, 2005 IEEE Instrumentationand Measurement Technology Conference Proceedings.

Efficient node distribution techniques in mobile ad hoc networks using game theory

S. Samtani, M. Umit Uyar, M.A. Fecko, 2009, MILCOM 2009 - 2009 IEEE Military Communications Conference.

Formal design and testing of MIL-STD 188-220A based on Estelle

A.S. Sethi, T. Dzik, P.D. Amer, 1997, MILCOM 97 MILCOM 97 Proceedings.

Modeling VHDL specifications as consistent EFSMs

M. Umit Uyar, A.Y. Duale, 1997, MILCOM 97 MILCOM 97 Proceedings.