Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Ashan Pathirane"'
Publikováno v:
Heliyon, Vol 10, Iss 1, Pp e23516- (2024)
Increasing water demands and high water losses have rendered securing safe water challenging in the 21st century. Although non-revenue water (NRW), as a percentage of system input, has been commonly used by water utilities worldwide, in-depth analyse
Externí odkaz:
https://doaj.org/article/94c3190c8e1841a596ca1802e9689986
Autor:
Ali Mustafa Zaidi, Rick Chen, Anastasios Deligiannis, David Gilday, Ashan Pathirane, David Hoyes, Owen Shepherd, Will Keen, Peter Vrabel, Alastair Reid
Publikováno v:
Computer Aided Verification ISBN: 9783319415390
CAV (2)
CAV (2)
Despite 20+ years of research on processor verification, it remains hard to use formal verification techniques in commercial processor development. There are two significant factors: scaling issues and return on investment. The scaling issues include
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d77c6fef90e332b1165bc39f9208b614
https://doi.org/10.1007/978-3-319-41540-6_3
https://doi.org/10.1007/978-3-319-41540-6_3
