Collaborated with:J.Y.Cotronis E.Floros G.Dózsa P.Kacsuk
Talks about:specif (2) applic (2) composit (1) synergi (1) program (1) messag (1) execut (1) design (1) associ (1) petri (1)
Person: Zacharias Tsiatsoulis
DBLP: Tsiatsoulis:Zacharias
Contributed to:
1999Wrote 2 papers:
- PDP-1999-TsiatsoulisCF #debugging #message passing #specification #testing
- Testing and debugging message passing applications based on the synergy of program and specification executions (ZT, JYC, EF), pp. 196–203.
- PDP-1999-TsiatsoulisDCK #composition #design #petri net #specification
- Associating composition of Petri net specifications with application designs in GRADE (ZT, GD, JYC, PK), pp. 204–211.