Verification results for IT standards: FireWire, ISO11073...
This monograph on the verification of standards and specifications applied in information technology covers a lesser-researched but vital aspect of standards and specification development methodologies. The book has undertaken a thorough review and study of the application of formal testing methodologies to the verification of standards and specifications and describes in detail how these approaches can improved the quality of ...