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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0 [feed] RSS 2.0
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 Mon Nov 4 22:44:38 2024 AEST.