Sciweavers

108 search results - page 1 / 22

» forte 2007

107

Voted

FORTE
2004

101views Formal Methods» more FORTE 2004»

Life-Cycle E-commerce Testing with OO-TTCN-3

15 years 5 months ago

Life-Cycle E-commerce Testing with OO-TTCN-3

Download www.site.uottawa.ca

Robert L. Probert, Pulei Xiong, Bernard Stepien

claim paper

Read More »

118

Voted

FORTE
2001

250views Formal Methods» more FORTE 2001»

Towards a Formal Framework for Interoperability Testing

15 years 5 months ago

Towards a Formal Framework for Interoperability Testing

Download www.irisa.fr

César Viho, Sébastien Barbin, L&eacu...

claim paper

Read More »

125

Voted

FORTE
2003

105views Formal Methods» more FORTE 2003»

Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?

15 years 4 months ago

Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?

Download mtc.epfl.ch

Dirk Beyer, Andreas Noack

claim paper

Read More »

114

FORTE
2000

75views Formal Methods» more FORTE 2000»

Simulating Multicast Transport Protocols in Estelle

15 years 4 months ago

Simulating Multicast Transport Protocols in Estelle

Download www-lor.int-evry.fr

Justin Templemore-Finlayson, Eugen Borcoci

claim paper

Read More »

98

FORTE
2000

81views Formal Methods» more FORTE 2000»

Implementing CCS in Maude

15 years 4 months ago

Implementing CCS in Maude

Download maude.sip.ucm.es

Alberto Verdejo, Narciso Martí-Oliet

claim paper

Read More »

« Prev « First page 1 / 22 Last » Next »