Sciweavers

4036 search results - page 3 / 808

» Formal Methods

160

Voted

FCA
2005
Springer

123views Formal Methods» more FCA 2005»

Linguistic Applications of Formal Concept Analysis

16 years 28 days ago

Linguistic Applications of Formal Concept Analysis

Download www.upriss.org.uk

Uta Priss

claim paper

Read More »

188

Voted

FTRTFT
1998
Springer

108views Formal Methods» more FTRTFT 1998»

Towards a Formal Semantics of Verilog Using Duration Calculus

15 years 11 months ago

Towards a Formal Semantics of Verilog Using Duration Calculus

Download folk.uio.no

Gerardo Schneider, Qiwen Xu

claim paper

Read More »

153

Voted

ZUM
1997
Springer

104views Formal Methods» more ZUM 1997»

Preliminary Evaluation of a Formal Approach to User Interface Specification

15 years 11 months ago

Preliminary Evaluation of a Formal Approach to User Interface Specification

Download www.cs.virginia.edu

John C. Knight, Susan S. Brilliant

claim paper

Read More »

152

TYPES
1995
Springer

147views Formal Methods» more TYPES 1995»

A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals

15 years 11 months ago

A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals

Download sqig.math.ist.utl.pt

Jan Cederquist, Sara Negri

claim paper

Read More »

200

FMICS
2010
Springer

157views Formal Methods» more FMICS 2010»

Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study

15 years 8 months ago

Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study

Download www.brucker.ch

Michael Altenhofen, Achim D. Brucker

claim paper

Read More »

« Prev « First page 3 / 808 Last » Next »