Sciweavers

Share
12 search results - page 1 / 3
» forte 2000
Sort
View
FORTE
2000
11 years 8 months ago
Simulating Multicast Transport Protocols in Estelle
Justin Templemore-Finlayson, Eugen Borcoci
FORTE
2000
11 years 8 months ago
Implementing CCS in Maude
Alberto Verdejo, Narciso Martí-Oliet
FORTE
2000
11 years 8 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
books