OOPN and DEVS Formalisms for System Specification and Analysis

Radek Kocí, Vladimír Janousek. OOPN and DEVS Formalisms for System Specification and Analysis. In Jon Hall, Hermann Kaindl, Luigi Lavazza, Georg Buchgeher, Osamu Takaki, editors, The Fifth International Conference on Software Engineering Advances, ICSEA 2010, 22-27 August 2010, Nice, France. pages 305-310, IEEE Computer Society, 2010. [doi]

Abstract

Abstract is missing.