Works matching IS 14332779 AND DT 2006 AND VI 8 AND IP 6
Results: 13
Tool Support for Estimating the Memory Usage of Mobile Phone Software.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 531, doi. 10.1007/s10009-006-0012-z
- By:
- Publication type:
- Article
Formal and experimental validation approaches in HCI systems design based on a shared event B model.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 547, doi. 10.1007/s10009-006-0008-8
- By:
- Publication type:
- Article
A formal analysis of bluetooth device discovery.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 621, doi. 10.1007/s10009-006-0014-x
- By:
- Publication type:
- Article
System architecture evaluation using modular performance analysis: a case study.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 649, doi. 10.1007/s10009-006-0019-5
- By:
- Publication type:
- Article
Rule-based verification of Web sites.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 565, doi. 10.1007/s10009-006-0009-7
- By:
- Publication type:
- Article
Model checker aided design of a controller for a wafer scanner.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 633, doi. 10.1007/s10009-006-0025-7
- By:
- Publication type:
- Article
Case studies with Lurette V2.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 517, doi. 10.1007/s10009-006-0023-9
- By:
- Publication type:
- Article
Guest editors’ introduction: quantitative analysis of real-time embedded systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 1, doi. 10.1007/s10009-006-0013-y
- By:
- Publication type:
- Article
Experiences applying formal approaches in the development of swarm-based space exploration systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 587, doi. 10.1007/s10009-006-0027-5
- By:
- Publication type:
- Article
Automated model generation for performance engineering of building automation networks.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 607, doi. 10.1007/s10009-006-0016-8
- By:
- Publication type:
- Article
A formal framework for verifying distributed embedded systems based on abstraction methods.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 471, doi. 10.1007/s10009-006-0011-0
- By:
- Publication type:
- Article
Special Section on “Leveraging Formal Methods”.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 467, doi. 10.1007/s10009-006-0028-4
- By:
- Publication type:
- Article
Compositional specification of commercial contracts.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 485, doi. 10.1007/s10009-006-0010-1
- By:
- Publication type:
- Article