Keyword : specification and verification


Using Process Algebras for the Semantic Analysis of Data Flow Networks
Cinzia BERNARDESCHI Andrea BONDAVALLI Luca SIMONCINI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/08/25
Vol. E78-D  No. 8 ; pp. 959-968
Type of Manuscript:  PAPER
Category: Computer Systems
Keyword: 
computer systemssoftware theorydata flow networkssemanticsformal methodsspecification and verificationprocess algebras
 Summary | Full Text:PDF(910.6KB)