NTU Trường Đại học Nha Trang
Bộ GD&ĐT
Tra cứu văn bằng
E-Learning
E-Office
Software testing, verification & reliability, Tập 22, Số 8, 2012
Mục lục:
DòngNội dung
1Editorial
2Testing-based process for component substitutability / Andres Flores, Macario Polo
3A framework for automatic generation of security controller / Fabio Martinelli, Ilaria Matteucci
4A formal framework to test soft and hard deadlines in timed systems / Mercedes G. Merayo, Manuel N´u˜nez and Ismael Rodr´ıguez