skip to main content
article

Risks to the public in computers and related systems

Published: 01 May 2004 Publication History
First page of PDF

Cited By

View all
  • (2007)Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllersAutomated Software Engineering10.1007/s10515-007-0008-214:2(129-178)Online publication date: 1-Jun-2007

Recommendations

Comments

Information & Contributors

Information

Published In

ACM SIGSOFT Software Engineering Notes  Volume 29, Issue 3
May 2004
102 pages
ISSN:0163-5948
DOI:10.1145/986710
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 2004
Published in SIGSOFT Volume 29, Issue 3

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)2
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2007)Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllersAutomated Software Engineering10.1007/s10515-007-0008-214:2(129-178)Online publication date: 1-Jun-2007

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy