Sciweavers

108 search results - page 1 / 22
» forte 2007
Sort
View
FORTE
2004
14 years 11 months ago
Life-Cycle E-commerce Testing with OO-TTCN-3
Robert L. Probert, Pulei Xiong, Bernard Stepien
FORTE
2001
14 years 11 months ago
Towards a Formal Framework for Interoperability Testing
César Viho, Sébastien Barbin, L&eacu...
70
Voted
FORTE
2000
14 years 11 months ago
Simulating Multicast Transport Protocols in Estelle
Justin Templemore-Finlayson, Eugen Borcoci
58
Voted
FORTE
2000
14 years 11 months ago
Implementing CCS in Maude
Alberto Verdejo, Narciso Martí-Oliet