Sciweavers

4340 search results - page 108 / 868

» Formal Methods and Cryptography

109

IFM
2004
Springer

83views Formal Methods» more IFM 2004»

Integrating Temporal Logics

15 years 9 months ago

Integrating Temporal Logics

Download www.iist.unu.edu

Yifeng Chen, Zhiming Liu

claim paper

Read More »

126

Voted

IFM
2004
Springer

87views Formal Methods» more IFM 2004»

A Tutorial Introduction to Designs in Unifying Theories of Programming

15 years 9 months ago

A Tutorial Introduction to Designs in Unifying Theories of Programming

Download www.cs.york.ac.uk

Jim Woodcock, Ana Cavalcanti

claim paper

Read More »

96

ISOLA
2004
Springer

85views Formal Methods» more ISOLA 2004»

Modelling Coordination in Biological Systems

15 years 9 months ago

Modelling Coordination in Biological Systems

Download people.cs.kuleuven.be

Dave Clarke, David Costa, Farhad Arbab

claim paper

Read More »

100

ISOLA
2004
Springer

92views Formal Methods» more ISOLA 2004»

The Identification of registers in RTL Structures for the Test Application

15 years 9 months ago

The Identification of registers in RTL Structures for the Test Application

Download www.fit.vutbr.cz

Daniel Mika, Josef Strnadel, Kotásek Zdenik

claim paper

Read More »

106

ISOLA
2004
Springer

74views Formal Methods» more ISOLA 2004»

Quantitative Model checking

15 years 9 months ago

Quantitative Model checking

Download www.cs.sunysb.edu

Radu Grosu, Scott A. Smolka

claim paper

Read More »

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