Author:
Fernández-Iglesias Manuel J.,Llamas-Nistal Martín
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Lecture Notes in Computer Science;J.C. Burguillo-Rial,2002
2. Fernández-Iglesias, M.J., Burguillo-Rial, J.C., González-Castaño, F.J., Pousada-Carballo, J.M., Llamas-Nistal, M., Romero-Feijoo, A.: Wireless Protocol testing and validation supported by formal methods. A hands-on report. The Journal of Systems and Software (2004) (to appear)
3. González-Castaño, F.J., García-Reinoso, J.: Survibable Bluetooth Location Networks. In: Procs. of IEEE Int. Conf. on Communications (2003)
4. Holzmann, G.: Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs (1991)
5. Holzmann, G.: The Model Checker Spin. IEEE Transactions on Software Engineering 23(5), 279–295 (1997)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Teaching Formal Methods: An Experience Report;Frontiers in Software Engineering Education;2020