Introduction to the special issue for SPIN 2021.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 1, p. 75, doi. 10.1007/s10009-023-00698-y
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2023 AND VI 25 AND IP 1
Results: 7
1
2
A technology transfer journey to a model-driven access control system.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 1, p. 49, doi. 10.1007/s10009-023-00697-z
- By:
- Publication type:
- Article
3
Leveraging polyhedral reductions for solving Petri net reachability problems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 1, p. 95, doi. 10.1007/s10009-022-00694-8
- By:
- Publication type:
- Article
4
An evaluation of approaches to model checking real-time task schedulability analysis.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 1, p. 115, doi. 10.1007/s10009-022-00693-9
- By:
- Publication type:
- Article
5
Go2Pins: a framework for the LTL verification of Go programs (extended version).
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 1, p. 77, doi. 10.1007/s10009-022-00692-w
- By:
- Publication type:
- Article
6
OC-PM: analyzing object-centric event logs and process models.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 1, p. 1, doi. 10.1007/s10009-022-00668-w
- By:
- Publication type:
- Article
7
Bounded DBM-based clock state construction for timed automata in Uppaal.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 1, p. 19, doi. 10.1007/s10009-022-00667-x
- By:
- Publication type:
- Article