Putting Formal Specifications Under the Magnifying Glass: Model-Based Testing for Validation
doi 10.1109/icst.2009.20
Full Text
Open PDFAbstract
Available in full text
Date
April 1, 2009
Authors
Publisher
IEEE
Available in full text
April 1, 2009
IEEE