Protocol checking for concurrent systems
Provisioning computing services via an on-line networked...
Pseudo random test pattern generation using Markov chains
Pulse rejection circuit model program and technique in VHDL
Canada
World
United States