Article citationsMore>>

Ammann, P. and Black, P.E. (1999) Abstracting Formal Specifications to Generate Software Tests via Model Checking. Proceedings of 18th Digital Avionics Systems Conference, 2, 10.A.6.1-10.A.6.10.
http://dx.doi.org/10.1109/dasc.1999.822091

has been cited by the following article:

Follow SCIRP
Twitter Facebook Linkedin Weibo
Contact us
Free SCIRP Newsletters
Copyright © 2006-2021 Scientific Research Publishing Inc. All Rights Reserved.
Top