Classification of Dataflow Actors With Satisfiability and Abstract Interpretation
International Journal of Embedded and Real-Time Communication Systems - United States
doi 10.4018/jertcs.2012010103
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 2012
Authors
Publisher
IGI Global