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)
|
| Онлайн доступ: | Ver documento en línea |
Схожі ресурси: 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 /