Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance
doi 10.1109/ssiri.2008.54
Full Text
Open PDFAbstract
Available in full text
Date
July 1, 2008
Authors
Publisher
IEEE
Available in full text
July 1, 2008
IEEE