Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up
Published November 23, 2002 | Version v1
Conference paper Open

Why engineers should consider formal methods

Authors/Creators

  • Holloway, C. M.

Description

n/a

Files

article.pdf

Files (722.6 kB)

Name Size
article.pdf
md5:53b197ead973a18a3c803c738028caea
722.6 kB Preview Download
109
Views
229
Downloads
Show more details
All versions This version
Views

Total views

109 109
Downloads

Total downloads

229 229
Data volume

Total data volume

168.4 MB 168.4 MB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.1109/dasc.1997.635021
DOI Badge

DOI 

10.1109/dasc.1997.635021

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.1109/dasc.1997.635021.svg)](https://doi.org/10.1109/dasc.1997.635021)

reStructuredText 

.. image:: https://zenodo.org/badge/DOI/10.1109/dasc.1997.635021.svg
  :target: https://doi.org/10.1109/dasc.1997.635021

HTML 

<a href="https://doi.org/10.1109/dasc.1997.635021"><img src="https://zenodo.org/badge/DOI/10.1109/dasc.1997.635021.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.1109/dasc.1997.635021.svg

Target URL 

https://doi.org/10.1109/dasc.1997.635021
Resource type
Conference paper
Publisher
Zenodo

Rights

License
cc0-1.0 icon Creative Commons Zero v1.0 Universal
CC0 waives copyright interest in a work you've created and dedicates it to the world-wide public domain. Use CC0 to opt out of copyright entirely and ensure your work has the widest reach. Read more

Citation

Export

Technical metadata

Created
June 4, 2018
Modified
August 2, 2024

About

  • About
  • Policies
  • Infrastructure
  • Principles
  • Projects
  • Roadmap
  • Contact

Blog

  • Blog

Support

  • Help
  • FAQ

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

  • Status
  • Privacy policy
  • Cookie policy
  • Terms of Use

This site uses cookies. Find out more on how we use cookies