Information Technology Reference
In-Depth Information
Fig. 10.
Meta-model for xUML action grammar
Fig. 11.
Meta-model for PROMELA
Previous Page
Next Page
Formal Methods for Components and Objects
Search WWH ::
Custom Search
Home