On the Formalization of Signal-Flow-Graphs in HOL

Sidi Mohamed Beillahi, Umair Siddique, Sofiéne Tahar
January 2014
PDF
Type
Report
Publication
Technical report, ECE Department, Concordia University, Montreal, QC, Canada