Found: 9
Select item for more details and to access through your institution.
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 4, p. 611, doi. 10.1007/s10009-022-00664-0
- By:
- Publication type:
- Article
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 4, p. 635, doi. 10.1007/s10009-022-00663-1
- By:
- Publication type:
- Article
Learning of behavioural models and dependency graphs for communicating systems with CkTailv2.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 4, p. 529, doi. 10.1007/s10009-022-00651-5
- By:
- Publication type:
- Article
Approximate verification of concurrent systems using token structures and invariants.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 4, p. 613, doi. 10.1007/s10009-022-00650-6
- By:
- Publication type:
- Article
Generating test as a web service (TaaWS) through a method-based attribute grammar.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 4, p. 511, doi. 10.1007/s10009-022-00649-z
- By:
- Publication type:
- Article
The probabilistic model checker Storm.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 4, p. 589, doi. 10.1007/s10009-021-00633-z
- By:
- Publication type:
- Article
The Log Skeleton Visualizer in ProM 6.9: The winning contribution to the process discovery contest 2019.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 4, p. 549, doi. 10.1007/s10009-021-00618-y
- By:
- Publication type:
- Article
DisCoveR: accurate and efficient discovery of declarative process models.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 4, p. 563, doi. 10.1007/s10009-021-00616-0
- By:
- Publication type:
- Article
Correction to: Reliable benchmarking: requirements and solutions.
- Published in:
- 2022
- By:
- Publication type:
- Correction Notice