Fuzzy weakest precondition and algorithm specification

  1. Lopez, V
  2. Gomez, D
  3. Montero, J
Libro:
Proceedings of the 8th Joint Conference on Information Sciences, Vols 1-3
  1. Blair, S (coord.)
  2. Chakraborty, U (coord.)
  3. Chen, SH (coord.)
  4. Cheng, HD (coord.)
  5. Chiu, DKY (coord.)
  6. Das, S (coord.)
  7. Denker, G (coord.)
  8. Duro, R (coord.)
  9. Romay, MG (coord.)
  10. Hung, D (coord.)
  11. Kerre, EE (coord.)
  12. VaLeong, H (coord.)
  13. Lu, CT (coord.)
  14. Lu, J (coord.)
  15. Maguire, L (coord.)
  16. Ngo, CW (coord.)
  17. Sarfraz, M (coord.)
  18. Tseng, C (coord.)
  19. Tsumoto, S (coord.)
  20. Ventura, D (coord.)
  21. Wang, PP (coord.)
  22. Yao, X (coord.)
  23. Zhang, CN (coord.)
  24. Zhang, K (coord.)

ISBN: *************

Año de publicación: 2005

Páginas: 41-45

Congreso: 8th Joint Conference on Information Sciences (JCIS 2005)

Tipo: Aportación congreso

GOOGLE SCHOLAR
Fuente de los datos: WoS