ABD1: Formal Models for Verification and Debug

PDF
24.9375Kb

Source:

2010 Forum on Specification & Design Languages (FDL 2010),

2010

()

Conference: 2010 Forum on Specification & Design Languages (FDL 2010)

DOI: 10.1049/ic.2010.0161

ISBN: 978 2 95305 043 1

Location: Southampton, UK

Conference date: 14-16 Sept. 2010

Format: PDF

There is no abstract available for this article.