Wireless protocol testing and validation supported by formal methods. A hands-on report

  1. Fernández-Iglesias, M.J.
  2. Burguillo-Rial, J.C.
  3. González-Castaño, F.J.
  4. Llamas-Nistal, M.
Aldizkaria:
Journal of Systems and Software

ISSN: 0164-1212

Argitalpen urtea: 2005

Alea: 75

Zenbakia: 1-2

Orrialdeak: 139-154

Mota: Artikulua

DOI: 10.1016/J.JSS.2004.03.001 GOOGLE SCHOLAR
Datuen iturria: Scopus