scientific article; zbMATH DE number 761760
From MaRDI portal
Publication:4835665
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60) Parallel algorithms in computer science (68W10) Theory of operating systems (68N25)
Recommendations
Cited in
(5)- scientific article; zbMATH DE number 1953334 (Why is no real title available?)
- A suite of tools for debugging distributed autonomous systems
- scientific article; zbMATH DE number 2000362 (Why is no real title available?)
- scientific article; zbMATH DE number 1728461 (Why is no real title available?)
- Debugging distributed programs using controlled re-execution
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 Q4835665)