Search
نمایش تعداد 1-6 از 6
Bounded Model Checking of Hybrid Automata Pushdown System
ناشر: IEEE
سال: 2014
Document-Specific Keyphrase Extraction Using Sequential Patterns with Wildcards
ناشر: IEEE
سال: 2014
Validating direct memory access interfaces with conformance checking
ناشر: IEEE
سال: 2014