Applying Formal Methods: Testing, Performance, and M/E-Commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 /
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | |
| Язык: | английский |
| Опубликовано: |
Berlín, Alemania :
Springer,
2004, c2004
|
| Серии: | (Lecture Notes in Computer Science)
|
| Online-ссылка: | Ver documento en línea |
| Метки: |
Нет меток, Требуется 1-ая метка записи!
|
Схожие документы: Applying Formal Methods: Testing, Performance, and M/E-Commerce :
- Formal Modelling in Electronic Commerce /
- Formal Approaches to Software Testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
- Formal Methods and Stochastic Models for Performance Evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings /
- Formal Methods and Stochastic Models for Performance Evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings /
- Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII .97 /
- How to Perform Optical Loss Testing /