Gabriel Huecas, Tomás Robles, L. M. Gonzalez, J. Serrano. Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System. In Stanislaw Budkowski, Ana R. Cavalli, Elie Najm, editors, Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII 98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and. Volume 135 of IFIP Conference Proceedings, pages 283-307, Kluwer, 1998.
@inproceedings{HuecasRGS98,
title = {Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System},
author = {Gabriel Huecas and Tomás Robles and L. M. Gonzalez and J. Serrano},
year = {1998},
tags = {rule-based},
researchr = {https://researchr.org/publication/HuecasRGS98},
cites = {0},
citedby = {0},
pages = {283-307},
booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII 98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and},
editor = {Stanislaw Budkowski and Ana R. Cavalli and Elie Najm},
volume = {135},
series = {IFIP Conference Proceedings},
publisher = {Kluwer},
isbn = {0-412-84760-4},
}