No label defined (Q6157252)
From MaRDI portal
scientific article; zbMATH DE number 7699427
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 7699427 |
Statements
20 June 2023
0 references
safety
0 references
distributed systems
0 references
timely dataflow
0 references
Isabelle/HOL
0 references