Design Automation of Neural Network Applications Using Formal Techniques-Rapid Prototyping Using the CCC Synthesizer

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:International Journal of Automation and Control Engineering 2014-02, Vol.3 (1), p.10-19
Hauptverfasser: Dossis, Michael, Amanatidis, Dimitrios E.
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:
ISSN:2325-7407
2325-7415
DOI:10.14355/ijace.2014.0301.02