Browsing by Author Leung, H.L

In order:
Showing results 1 to 2 of 2
2010Application of Bhave toolset for system control and electronic system designMan, Ka Lok; Krilavičius, Tomas; Chen, C; Leung, H.LStraipsnis konferencijos medžiagoje kitose duomenų bazėse / Article in conference proceedings in other databases (P1c)
2010TEPAWSN: A formal analysis tool for wireless sensor networksMan, Ka Lok; Krilavičius, Tomas; Vallee, Thierry; Leung, H.LStraipsnis kituose recenzuojamuose leidiniuose / Article in other peer-reviewed editions (S5)