FORTE 2000 | Sciweavers

13

click to vote

FORTE
2000

81views Formal Methods» more FORTE 2000»

Implementing CCS in Maude

13 years 5 months ago

Download maude.sip.ucm.es

Alberto Verdejo, Narciso Martí-Oliet

claim paper

Read More »

9

click to vote

FORTE
2000

91views Formal Methods» more FORTE 2000»

On Test Derivation from Partial Specifications

13 years 5 months ago

Download www.crim.ca

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

claim paper

Read More »

8

click to vote

FORTE
2000

75views Formal Methods» more FORTE 2000»

Simulating Multicast Transport Protocols in Estelle

13 years 5 months ago

Download www-lor.int-evry.fr

Justin Templemore-Finlayson, Eugen Borcoci

claim paper

Read More »

18

click to vote

FORTE
2000

115views Formal Methods» more FORTE 2000»

Systematic Performance Evaluation of Multipoint Protocols

13 years 5 months ago

Download www.cise.ufl.edu

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, ...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers