A report on reliable software and communication

@inproceedings{2000ARO,
  title={A report on reliable software and communication},
  author={},
  year={2000}
}
  • Published 2000
We discuss the general state of affairs in a variety of related areas ranging from software safety, reliability and testing, protocol specification and verification, network congestion-control and reliability, to communication security and complexity. We intend to identify useful theory and tools, point out connections between different areas, and to a large extent, raise a number of questions whose answers may still lie far beyond the limits of our current knowledge. Some of these areas are… CONTINUE READING