Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification

@article{Gruer2004HeterogeneousFS,
  title={Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification},
  author={Pablo Gruer and Vincent Hilaire and Abder Koukam and P. Rovarini},
  journal={Journal of Systems and Software},
  year={2004},
  volume={70},
  pages={95-105}
}
Highly Cited
This paper has 44 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 24 extracted citations

Similar Papers

Loading similar papers…