From Graphical Representations to Formal Specifications and Return: Translation Algorithms in the Harmony

Sergiu Dascalu, Peter Hitchcock, Narayan C. Debnath, Andrew Klempau. From Graphical Representations to Formal Specifications and Return: Translation Algorithms in the Harmony. In Du Zhang, Éric Grégoire, Doug DeGroot, editors, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, IRI - 2004, November 8-10, 2004, Las Vegas Hilton, Las Vegas, NV, USA. pages 215-221, IEEE Systems, Man, and Cybernetics Society, 2004.

Authors

Sergiu Dascalu

This author has not been identified. Look up 'Sergiu Dascalu' in Google

Peter Hitchcock

This author has not been identified. Look up 'Peter Hitchcock' in Google

Narayan C. Debnath

This author has not been identified. Look up 'Narayan C. Debnath' in Google

Andrew Klempau

This author has not been identified. Look up 'Andrew Klempau' in Google