Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. Formal Testing of Systems Presenting Soft and Hard Deadlines. In Farhad Arbab, Marjan Sirjani, editors, International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings. Volume 4767 of Lecture Notes in Computer Science, pages 160-174, Springer, 2007. [doi]
@inproceedings{MerayoNR07:2,
title = {Formal Testing of Systems Presenting Soft and Hard Deadlines},
author = {Mercedes G. Merayo and Manuel Núñez and Ismael Rodríguez},
year = {2007},
doi = {10.1007/978-3-540-75698-9_11},
url = {http://dx.doi.org/10.1007/978-3-540-75698-9_11},
tags = {testing},
researchr = {https://researchr.org/publication/MerayoNR07%3A2},
cites = {0},
citedby = {0},
pages = {160-174},
booktitle = {International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
editor = {Farhad Arbab and Marjan Sirjani},
volume = {4767},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-75697-2},
}