Publisher
Springer International Publishing
Reference29 articles.
1. Lecture Notes in Computer Science;M Anlauff,2000
2. Arnaud, M., Bannour, B., Cuccuru, A., Gaston, C., Gerard, S., Lapitre, A.: Timed symbolic testing framework for executable models using high-level scenarios. In: Boulanger, F., Krob, D., Morel, G., Roussel, J.-C. (eds.) Complex Systems Design & Management, pp. 269–282. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-11617-4_19
3. Lecture Notes in Computer Science;C Braunstein,2014
4. Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NuSMV: a new symbolic model checker. Int. J. Softw. Tools Technol. Transf. 2(4), 410–425 (2000)
5. Galin, D.: Software Quality Assurance: From Theory to Implementation. Pearson Education India (2004)