Browsing by Subject Machine theory

Showing results 1 to 2 of 2
Issue DateTitleAuthor(s)
2010Design of a six degree-of-freedom haptic hybrid platform manipultorBilgincan, Tunç
2010Utilization of timed automata as a verification tool for real-time security protocolsKülahçıoğlu, Burcu