Search
نمایش تعداد 1-4 از 4
Medical software runtime checking using Petri-nets & software agents
ناشر: IEEE
سال: 2014
Validating SystemC implementations against their formal specifications
ناشر: IEEE
سال: 2014
A new method for mining maximal frequent itemsets based on graph theory
ناشر: IEEE
سال: 2014