Found: 10
Select item for more details and to access through your institution.
Rance Cleaveland: a life for formal methods.
- Published in:
- 2024
- By:
- Publication type:
- Editorial
Debugging convergence problems in probabilistic programs via program representation learning with SixthSense.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 249, doi. 10.1007/s10009-024-00737-2
- By:
- Publication type:
- Article
Strong Simple Policies for POMDPs.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 269, doi. 10.1007/s10009-024-00747-0
- By:
- Publication type:
- Article
State of the CArt: evaluating covering array generators at scale.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 301, doi. 10.1007/s10009-024-00745-2
- By:
- Publication type:
- Article
An automotive case study.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 327, doi. 10.1007/s10009-024-00753-2
- By:
- Publication type:
- Article
An Event-B model of an automotive adaptive exterior light system.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 331, doi. 10.1007/s10009-024-00748-z
- By:
- Publication type:
- Article
Modeling of a speed control system using Event-B.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 347, doi. 10.1007/s10009-024-00749-y
- By:
- Publication type:
- Article
Validating multiple variants of an automotive light system with Alloy 6.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 365, doi. 10.1007/s10009-024-00752-3
- By:
- Publication type:
- Article
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 379, doi. 10.1007/s10009-024-00751-4
- By:
- Publication type:
- Article
A verified low-level implementation and visualization of the adaptive exterior light and speed control system.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 403, doi. 10.1007/s10009-024-00750-5
- By:
- Publication type:
- Article