Sciweavers

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

13

PSTV
1993

favoriteEmaildiscussreport

89views Hardware» more PSTV 1993»

What Makes Industries Believe in Formal Methods

13 years 6 months ago

What Makes Industries Believe in Formal Methods

Download wwwhome.cs.utwente.nl

Chris A. Vissers, Marten van Sinderen, Luís

Real-time Traffic

Hardware | PSTV 1993 |

claim paper

Related Content

» Formal ontology meets industry

» The Challenge of Believability in Video Games Definitions Agents Models and Imitation Lear...

» Distributed simulation in industry a survey Part 3 the HLA standard in industry

» Formal Methods in Industrial Software Standards Enforcement

» Developing BON as an IndustrialStrength Formal Method

» A formally grounded software specification method

» What Can Formal Methods Bring to Systems Biology

» Are Formal Methods Ready for Agility A Reality Check

» A Formalization of HIPAA for a Medical Messaging System

Post Info
More Details (n/a)

Added	02 Nov 2010
Updated	02 Nov 2010
Type	Conference
Year	1993
Where	PSTV
Authors	Chris A. Vissers, Marten van Sinderen, Luís Ferreira Pires

Comments (0)