Works matching IS 14332779 AND DT 2016 AND VI 18 AND IP 5
Results: 6
Parameterized model checking for security policy analysis.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 5, p. 559, doi. 10.1007/s10009-015-0410-1
- By:
- Publication type:
- Article
A unified view of parameterized verification of abstract models of broadcast communication.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 5, p. 475, doi. 10.1007/s10009-016-0412-7
- By:
- Publication type:
- Article
Counting dynamically synchronizing processes.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 5, p. 517, doi. 10.1007/s10009-015-0411-0
- By:
- Publication type:
- Article
Soundness of data-aware, case-centric processes.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 5, p. 535, doi. 10.1007/s10009-016-0417-2
- By:
- Publication type:
- Article
Parameterized verification.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 5, p. 469, doi. 10.1007/s10009-016-0424-3
- By:
- Publication type:
- Article
Parameterized verification through view abstraction.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 5, p. 495, doi. 10.1007/s10009-015-0406-x
- By:
- Publication type:
- Article