Utilization of timed automata as a verification tool for security protocols
Özet
Timed Automata is an extension to the automata-theoretic approach for the modeling of real time systems that introduces time into the classical automata. It has become an important research area in both the context of formal languages and modeling and ver
Bağlantı
https://www.scopus.com/inward/record.uri?eid=2-s2.0-77956120549&doi=10.1109%2fSSIRI-C.2010.27&partnerID=40&md5=bedca38568ba43d4d8a2f72afab7b5d5https://dspace.yasar.edu.tr/xmlui/handle/20.500.12742/10671
Koleksiyonlar
![Creative Commons License](http://i.creativecommons.org/l/by-nc-nd/4.0/88x31.png)
DSpace@YASAR by Yasar University Institutional Repository is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 4.0 Unported License..