Time, causality, and realizability: Engineering interactive, distributed software systems.
Saved in:
| Title: | Time, causality, and realizability: Engineering interactive, distributed software systems. |
|---|---|
| Authors: | Broy, Manfred1, broy@in.tum.de |
| Source: | Journal of Systems & Software; Apr2024, Vol. 210, pN.PAG-N.PAG, 1p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01641212 |
|---|---|
| DOI: | 10.1016/j.jss.2023.111940 |
