IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier. IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. In Jeannette M. Wing, Jim Woodcock, Jim Davies, editors, FM 99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I. Volume 1708 of Lecture Notes in Computer Science, pages 307-327, Springer, 1999. [doi]

This author has not been identified. Look up 'Marius Bozga' in GoogleThis author has not been identified. Look up 'Jean-Claude Fernandez' in GoogleThis author has not been identified. Look up 'Lucian Ghirvu' in GoogleThis author has not been identified. Look up 'Susanne Graf' in GoogleThis author has not been identified. Look up 'Jean-Pierre Krimm' in GoogleThis author has not been identified. Look up 'Laurent Mounier' in Google

runs on WebDSL