Searching for "A Toolbox for the Verification of LOTOS Programs." – sorted by Relevance.
-
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

