Search
Now showing items 1-6 of 6
Bounded Model Checking of Hybrid Automata Pushdown System
Publisher: IEEE
Year: 2014
Document-Specific Keyphrase Extraction Using Sequential Patterns with Wildcards
Publisher: IEEE
Year: 2014
Validating direct memory access interfaces with conformance checking
Publisher: IEEE
Year: 2014