Items where Subject is "46 INFORMATION AND COMPUTING SCIENCES > 4612 Software engineering > 461208 Software testing, verification and validation"
Up a level |
- Fields of Research (57589)
- 46 INFORMATION AND COMPUTING SCIENCES (716)
- 4612 Software engineering (21)
- 461208 Software testing, verification and validation (3)
- 4612 Software engineering (21)
- 46 INFORMATION AND COMPUTING SCIENCES (716)
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.