Browsing by Subject Machine theory

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 2 to 2 of 2 < previous 
Issue DateTitleAuthor(s)
2010Utilization of timed automata as a verification tool for real-time security protocolsKülahçıoğlu, Burcu