- Tytuł:
- Testing and debugging Message Passing programs in synergy with their specifications
- Autorzy:
-
Tsiatsoulis, Z.
Cotronis, J.Y. - Data publikacji:
- 2000
- Słowa kluczowe:
-
Message Passing program composition
specification composition
reuse
Petri net
error detection - Pokaż więcej
- Dostawca treści:
- BazTech