Sciweavers

5255 search results - page 21 / 1051

» Formal Methods for Privacy

20

FCA
2005
Springer

123views Formal Methods» more FCA 2005»

Linguistic Applications of Formal Concept Analysis

14 years 1 months ago

Linguistic Applications of Formal Concept Analysis

Download www.upriss.org.uk

Uta Priss

claim paper

Read More »

28

FTRTFT
1998
Springer

108views Formal Methods» more FTRTFT 1998»

Towards a Formal Semantics of Verilog Using Duration Calculus

13 years 12 months ago

Towards a Formal Semantics of Verilog Using Duration Calculus

Download folk.uio.no

Gerardo Schneider, Qiwen Xu

claim paper

Read More »

27

ZUM
1997
Springer

104views Formal Methods» more ZUM 1997»

Preliminary Evaluation of a Formal Approach to User Interface Specification

13 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 »

23

TYPES
1995
Springer

147views Formal Methods» more TYPES 1995»

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

13 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 »

29

FMICS
2010
Springer

157views Formal Methods» more FMICS 2010»

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

13 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 21 / 1051 Last » Next »