Formal Specification and Verification of Real-Time Systems Using Graph Grammars
Journal of the Brazilian Computer Society - Switzerland
doi 10.1590/s0104-65002007000400005
Full Text
Open PDFAbstract
Available in full text
Categories
Date
December 1, 2007
Authors
Publisher
Springer Science and Business Media LLC