IF: An Intermediate Representation for SDL and its Applications (1999)
Cached
Download Links
- [www-verimag.imag.fr]
- [www-verimag.imag.fr]
- DBLP
Other Repositories/Bibliography
by
Marius Bozga
,
Jean-Claude Fernandez
,
Lucian Ghirvu
,
Susanne Graf
,
Jean-Pierre Krimm
,
Laurent Mounier
,
Joseph Sifakis
| Citations: | 14 - 4 self |
BibTeX
@MISC{Bozga99if:an,
author = {Marius Bozga and Jean-Claude Fernandez and Lucian Ghirvu and Susanne Graf and Jean-Pierre Krimm and Laurent Mounier and Joseph Sifakis},
title = {IF: An Intermediate Representation for SDL and its Applications},
year = {1999}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper we present work of a project for the improvement of a specification and validation toolbox interconnecting Objectgeode[1] and different validation tools such as
