A Formal Foundation of Systems Engineering

Dominique Luzeaux. A Formal Foundation of Systems Engineering. In Frédéric Boulanger, Daniel Krob, Gérard Morel, Jean-Claude Roussel, editors, Complex Systems Design & Management, Proceedings of the Fifth International Conference on Complex Systems Design & Management CSD&M 2014, Paris, France, November 12-14, 2014. pages 133-148, Springer, 2014. [doi]