Preface.
- Published in:
- 2009
- By:
- Publication type:
- Editorial
Works matching IS 14332779 AND DT 2009 AND VI 11 AND IP 5
Results: 5
1
2
Checking the reliability of socket based communication software.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 5, p. 359, doi. 10.1007/s10009-009-0112-7
- By:
- Publication type:
- Article
3
Flush: an example of development by refinements in SCADE/Lustre.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 5, p. 409, doi. 10.1007/s10009-009-0113-6
- By:
- Publication type:
- Article
4
Solving scheduling problems by untimed model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 5, p. 375, doi. 10.1007/s10009-009-0110-9
- By:
- Publication type:
- Article
5
LearnLib: a framework for extrapolating behavioral models.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 5, p. 393, doi. 10.1007/s10009-009-0111-8
- By:
- Publication type:
- Article