Using statechart assertion for the formal validation and verification of a real-time software system a case study
Beylin, Konstantin (Chris).
MetadataShow full item record
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.