Article citationsMore>>

J. L. Boulanger, P. Bon and G. Mariano, “Semi Formal Modeling and Formal Specification: UML & B in Simple Railway Application,” International Conference on Soft- ware and Systems Engineering and their Applications, Toulouse, 12-14 October 2004.

has been cited by the following article:

SCIRP Newsletter
Copyright © 2006-2026 Scientific Research Publishing Inc. All Rights Reserved.
Top