Works matching IS 14332779 AND DT 2020 AND VI 22 AND IP 2
Results: 8
Introduction to the Special Issue devoted to SPIN 2018.
- Published in:
- 2020
- By:
- Publication type:
- Editorial
IC3 software model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 2, p. 135, doi. 10.1007/s10009-019-00547-x
- By:
- Publication type:
- Article
Joint forces for memory safety checking revisited.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 2, p. 115, doi. 10.1007/s10009-019-00526-2
- By:
- Publication type:
- Article
Counting Petri net markings from reduction equations.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 2, p. 163, doi. 10.1007/s10009-019-00519-1
- By:
- Publication type:
- Article
Model-based testing of apps in real network scenarios.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 2, p. 105, doi. 10.1007/s10009-019-00518-2
- By:
- Publication type:
- Article
A formal approach to AADL model-based software engineering.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 2, p. 219, doi. 10.1007/s10009-019-00513-7
- By:
- Publication type:
- Article
Spatial logics and model checking for medical imaging.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 2, p. 195, doi. 10.1007/s10009-019-00511-9
- By:
- Publication type:
- Article
A greedy particle swarm optimization (GPSO) algorithm for testing real-world smart card applications.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 2, p. 183, doi. 10.1007/s10009-018-00506-y
- By:
- Publication type:
- Article