Search Sciweavers | Sciweavers

5255 search results - page 90 / 1051

» Formal Methods for Privacy

click to vote

SAS
1993
Springer

109views Formal Methods» more SAS 1993»

Abstract Rewriting

15 years 7 months ago

Download afp.sourceforge.net

Didier Bert, Rachid Echahed, Bjarte M. Østv...

claim paper

Read More »

Voted

LARCH
1992

115views Formal Methods» more LARCH 1992»

Thoughts on a Larch/ML and a New Application for LP

15 years 7 months ago

Download www.cs.cmu.edu

Jeannette M. Wing, Eugene J. Rollins, Amy Moormann...

claim paper

Read More »

click to vote

FORMATS
2007
Springer

78views Formal Methods» more FORMATS 2007»

Automatic Abstraction Refinement for Timed Automata

15 years 7 months ago

Download www.informatik.uni-freiburg.de

Henning Dierks, Sebastian Kupferschmid, Kim Guldst...

claim paper

Read More »

115

click to vote

FM
2006
Springer

85views Formal Methods» more FM 2006»

Towards Automatic Exception Safety Verification

15 years 7 months ago

Download webdocs.cs.ualberta.ca

Xin Li, H. James Hoover, Piotr Rudnicki

claim paper

Read More »

120

click to vote

FM
2006
Springer

97views Formal Methods» more FM 2006»

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers