Works matching IS 16112776 AND DT 2021 AND VI 63 AND IP 5/6
Results: 9
Frontmatter.
- Published in:
- IT: Information Technology, 2021, v. 63, n. 5/6, p. I, doi. 10.1515/itit-2021-frontmatter1
- Publication type:
- Article
System correctness under adverse conditions.
- Published in:
- 2021
- By:
- Publication type:
- Editorial
Exploiting symmetries of high-level Petri games in distributed synthesis.
- Published in:
- IT: Information Technology, 2021, v. 63, n. 5/6, p. 321, doi. 10.1515/itit-2021-0012
- By:
- Publication type:
- Article
Infinite-state graph transformation systems under adverse conditions.
- Published in:
- IT: Information Technology, 2021, v. 63, n. 5/6, p. 311, doi. 10.1515/itit-2021-0011
- By:
- Publication type:
- Article
A sampling-based approach for handling delays in continuous and hybrid systems.
- Published in:
- IT: Information Technology, 2021, v. 63, n. 5/6, p. 289, doi. 10.1515/itit-2021-0010
- By:
- Publication type:
- Article
Functional verification of cyber-physical systems containing machine-learnt components.
- Published in:
- IT: Information Technology, 2021, v. 63, n. 5/6, p. 277, doi. 10.1515/itit-2021-0009
- By:
- Publication type:
- Article
Bayesian hybrid automata: Reconciling formal methods with metrology.
- Published in:
- IT: Information Technology, 2021, v. 63, n. 5/6, p. 265, doi. 10.1515/itit-2021-0008
- By:
- Publication type:
- Article
Proving properties of autonomous car manoeuvres in urban traffic.
- Published in:
- IT: Information Technology, 2021, v. 63, n. 5/6, p. 253, doi. 10.1515/itit-2021-0007
- By:
- Publication type:
- Article
Abstraction NBTI model.
- Published in:
- IT: Information Technology, 2021, v. 63, n. 5/6, p. 299, doi. 10.1515/itit-2021-0005
- By:
- Publication type:
- Article