Results: 3
Algorithms for monitoring real-time properties.
- Published in:
- Acta Informatica, 2018, v. 55, n. 4, p. 309, doi. 10.1007/s00236-017-0295-4
- By:
- Publication type:
- Article
A core calculus for dynamic delta-oriented programming.
- Published in:
- Acta Informatica, 2018, v. 55, n. 4, p. 269, doi. 10.1007/s00236-017-0293-6
- By:
- Publication type:
- Article
Factorisation of transition systems.
- Published in:
- Acta Informatica, 2018, v. 55, n. 4, p. 339, doi. 10.1007/s00236-017-0300-y
- By:
- Publication type:
- Article