Works matching IS 14332779 AND DT 2003 AND VI 4 AND IP 4
Results: 9
Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 4, p. 505, doi. 10.1007/s10009-002-0092-3
- By:
- Publication type:
- Article
Preface by the section editors.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 4, p. 401, doi. 10.1007/s10009-003-0108-7
- By:
- Publication type:
- Article
Main issues in protocol testing.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 4, p. 397, doi. 10.1007/s10009-003-0109-6
- By:
- Publication type:
- Article
A verification tool for ERLANG.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 4, p. 405, doi. 10.1007/s100090100071
- By:
- Publication type:
- Article
Security by typing.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 4, p. 472, doi. 10.1007/s10009-002-0100-7
- By:
- Publication type:
- Article
The development of the HiPE system: design and experience report.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 4, p. 421, doi. 10.1007/s100090100068
- By:
- Publication type:
- Article
Generating online test oracles from temporal logic specificationsTHANKSREF="*"ID="*"This work was supported by VINNOVA within the ASTEC competence center and by Volvo Technical Development Corporation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 4, p. 456, doi. 10.1007/s10009-003-0107-8
- By:
- Publication type:
- Article
Scalable distributed on-the-fly symbolic model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 4, p. 496, doi. 10.1007/s10009-002-0093-2
- By:
- Publication type:
- Article
Worst-case execution-time analysis for embedded real-time systemsTHANKSREF="*"ID="*"This work was performed within the Advanced Software Technology (ASTEC, http://www.astec.uu.se) competence center, supported by the Swedish National Board for Industrial and Technical Development (NUTEK, http://www.nutek.se).
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 4, p. 437, doi. 10.1007/s100090100054
- By:
- Publication type:
- Article