//]]>
Behavioral modeling for embedded systems and technologies : , applications for design and implementation /   Publication: Hershey, PA : Information Science Reference, 2010 . xxvii, 466 p. : 29 cm. Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reactive systems : modelling, specification and verification /   Publication: Cambridge : Cambridge University Press, 2007 . xvi, 284 p. : 26 cm. Date:2007 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart