Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
FORTE
2000
11 years 6 months ago
Implementing CCS in Maude
Alberto Verdejo, Narciso Martí-Oliet
FORTE
2000
11 years 6 months ago
On Test Derivation from Partial Specifications
The paper addresses the problem of test derivation from partially defined specifications. A specification is modeled by an Input/Output FSM such that transitions from some states ...
Alexandre Petrenko, Nina Yevtushenko
FORTE
2000
11 years 6 months ago
Simulating Multicast Transport Protocols in Estelle
Justin Templemore-Finlayson, Eugen Borcoci
FORTE
2000
11 years 6 months ago
Systematic Performance Evaluation of Multipoint Protocols
The adventof multipoint(multicast-based) applications and the growth and complexity of the Internet has complicated network protocol design and evaluation. In this paper, we prese...
Ahmed Helmy, Sandeep K. S. Gupta, Deborah Estrin, ...
books