Searching for "A Toolbox for the Verification of LOTOS Programs." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
A Toolbox for the Verification of LOTOS Programs
- …A Toolbox for the Verification of LOTOS Programs Jean-Claude FERNANDEZ Hubert GARAVEL y…
- Cited by 26 (4 self) – Add To MetaCart
-
A LOTOS Specification of a "Transit-Node"
- … Caesar-Ald' ebaran, a toolbox for the verification of Lotos programs. This work was carried out…
- Cited by 2 (1 self) – Add To MetaCart
-
Schema Types
- … for the Verification of LOTOS Programs. In Clarke, L. A., editor, Proceedings of the 14th International Conference…
- Add To MetaCart
-
Object Management Systems
- …-17, 1995. [8] J-C Fernandez, et al. "A Toolbox for the Verification of LOTOS Programs" in Proceedings…
- Add To MetaCart
Showing 1 through 4.
