Structural Operational Semantics for a Portable Subset of Behavioral VHDL-93
Formal Methods in System Design
A Semantic Model of Real-Time UML
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Hi-index | 0.00 |