Sciweavers

4340 search results - page 22 / 868

» Formal Methods and Cryptography

103

Voted

FM
1999
Springer

113views Formal Methods» more FM 1999»

Data Abstraction for CSP-OZ

15 years 7 months ago

Data Abstraction for CSP-OZ

Download www.cs.uni-paderborn.de

Heike Wehrheim

claim paper

Read More »

107

IFL
1999
Springer

100views Formal Methods» more IFL 1999»

Type-Inference Based Short Cut Deforestation (Nearly) without Inlining

15 years 7 months ago

Type-Inference Based Short Cut Deforestation (Nearly) without Inlining

Download www.cs.kent.ac.uk

Olaf Chitil

claim paper

Read More »

86

Voted

FMSP
1998
ACM

78views Formal Methods» more FMSP 1998»

Designing executable abstractions

15 years 7 months ago

Designing executable abstractions

Download spinroot.com

Gerard J. Holzmann

claim paper

Read More »

101

FM
1998
Springer

198views Formal Methods» more FM 1998»

Automated Test Set Generation for Statecharts

15 years 7 months ago

Automated Test Set Generation for Statecharts

Download www.csie.ntut.edu.tw

Kirill Bogdanov, Mike Holcombe, Harbhajan Singh

claim paper

Read More »

116

Voted

FM
1998
Springer

155views Formal Methods» more FM 1998»

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

15 years 7 months ago

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

Download www.eecs.umich.edu

Giuseppe Del Castillo

claim paper

Read More »

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