ePrints

Exploring Timing Properties Using VDM++ on an Industrial Application

Lookup NU author(s): Dr Stephen Paynter

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Mukherjee P, Bousquet F, Delabre J, Paynter SE, Gorm-Larsen P

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: VDM Workshop

Year of Conference: 2000

Share