Search
Now showing items 1-4 of 4
Medical software runtime checking using Petri-nets & software agents
Publisher: IEEE
Year: 2014
Far-field antenna characterization in the sub-THz region based on electrooptic near-field measurements
Publisher: IEEE
Year: 2014
Validating SystemC implementations against their formal specifications
Publisher: IEEE
Year: 2014
A new method for mining maximal frequent itemsets based on graph theory
Publisher: IEEE
Year: 2014