Time, causality, and realizability: Engineering interactive, distributed software systems
Autor: | Broy, Manfred |
---|---|
Zdroj: | In The Journal of Systems & Software April 2024 210 |
Databáze: | ScienceDirect |
Externí odkaz: |
Autor: | Broy, Manfred |
---|---|
Zdroj: | In The Journal of Systems & Software April 2024 210 |
Databáze: | ScienceDirect |
Externí odkaz: |