Items where Subject is "46 INFORMATION AND COMPUTING SCIENCES > 4612 Software engineering > 461208 Software testing, verification and validation"

Fields of Research (57479)
- 46 INFORMATION AND COMPUTING SCIENCES (714)
  - 4612 Software engineering (21)
    - 461208 Software testing, verification and validation (3)

Group by: Creators | Item Type

Number of items at this level: 3.

Article

Liu, Yezhou, Nicolescu, Radu, Sun, Jing, and Henderson, Alec (2021) A sublinear Sudoku solution in cP Systems and its formal verification. Computer Science Journal of Moldova, 29 (1 (85)). pp. 3-28.

Georgiou, Kyriakos, Kerrison, Steve, Zbigniew, Chamski, and Eder, Kerstin (2017) Energy transparency for deeply embedded programs. ACM Transactions on Architecture and Code Optimization, 14 (1). 8.

Book Chapter

Kerrison, Steve, Buschoff, Markus, Nunez-Yanez, Jose, and Eder, Kerstin (2017) Measuring energy. In: Fagas, Giorgos, Gammaitoni, Luca, Gallagher, John P., and Douglas, Paul, (eds.) ICT - Energy Concepts for Energy Efficiency and Sustainability. IntechOpen, London, UK, pp. 59-82.

This list was generated on Thu Nov 21 22:44:34 2024 AEST.