Search
Now showing items 1-1 of 1
Using Formal Methods to Validate the Usage, Protocols, and Feasibility in Large Scale Computing Systems
(North Dakota State University, 2014)
A paradigm shift has occurred in the Information and Communication Technology sector. The main obstacle to relegate complex and sensitive tasks is not the inadequate speed and unsatisfactory computing power of the existing ...