Automatic Verification of Assembling Digital Circuits by Means of Semantic Web Techniques

✍ Scribed by Castillo-Barrera, Francisco E.; Medina-Ramírez, Reyna C.; Soubervielle-Montalvo, Carlos; Ortíz-Hernández, Marcela

• Book ID: 123567427
• Publisher: Elsevier
• Year: 2013
• Weight: 354 KB
• Volume: 7
• Category: Article
• ISSN: 2212-0173
• DOI: 10.1016/j.protcy.2013.04.049