UEFI USB bus initialization verification using Colored Petri Net.

Rongyang Liu José G. Delgado-Frias Doug Boyce Rahul Khanna

Published in: MWSCAS (2015)

Keyphrases

colored petri nets
petri net
web services
high speed
k means
real time
databases
data structure
database
data sets
data mining
storage devices