1
by Jard, Claude
Published 2010
ISTE, Ltd.
... framework in which to express requirements and models of the systems, taking into account discrete...