Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

ZUM
1992
Springer

favoriteEmaildiscussreport

94views Formal Methods» more ZUM 1992»

An International Survey of Industrial Applications of Formal Methods

13 years 8 months ago

An International Survey of Industrial Applications of Formal Methods

Download www.tcs.hut.fi

Dan Craigen, Susan L. Gerhart, Ted Ralston

Real-time Traffic

Formal Methods | ZUM 1992 |

claim paper

Related Content

» Formal Methods in Industrial Software Standards Enforcement

» The use of industrialstrength formal methods

» Attacking Large Industrial Code with Biabductive Inference

» Formal methods for communication services meeting the industry expectations

» Protocol Conformance Testing a SIP Registrar an Industrial Application of Formal Methods

» Formal Methods for Industrial Products

» SOFL A Formal Engineering Methodology for Industrial Applications

» Industrial Practice in Formal Methods A Review

» Introducing Formal Specification Methods in Industrial Practice

Post Info
More Details (n/a)

Added	11 Aug 2010
Updated	11 Aug 2010
Type	Conference
Year	1992
Where	ZUM
Authors	Dan Craigen, Susan L. Gerhart, Ted Ralston

Comments (0)