scientific article; zbMATH DE number 1497767
From MaRDI portal
Publication:4499181
zbMATH Open0958.68105MaRDI QIDQ4499181FDOQ4499181
Authors: Wolfgang Polak
Publication date: 6 March 2001
Title of this publication is not available (Why is that?)
Recommendations
- Transfer of model checking to industrial practice
- Formal methods: The very idea some thoughts about why they work when they work
- scientific article; zbMATH DE number 1497771
- Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker
- scientific article; zbMATH DE number 1728495
Cites Work
Cited In (14)
- Theorem proving in technology transfer: The user's point of view
- Formal Methods: State of the Art and New Directions
- The Development and Deployment of Formal Methods in the UK
- Title not available (Why is that?)
- Title not available (Why is that?)
- Formal methods: The very idea some thoughts about why they work when they work
- Title not available (Why is that?)
- Transfer of model checking to industrial practice
- Object organisation in software environments for formal methods
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A realistic involvement of formal methods
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4499181)