Search results
IEEE Access > 2017 > 5 > 16829 - 16839
Journal of Network and Computer Applications > 2016 > 68 > C > 90-113
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Validation and Verification > 471-482
2011 Developments in E-systems Engineering > 351 - 356
2010 International Conference on Information, Networking and Automation (ICINA) > 2 > V2-114 - V2-118