Ratana, Hing, School of Computer Sciences, Universiti Sains Malaysia, 11800 Gelugor, Pulau Pinang, Malaysia., Malaysia

• Vol 9, No 3-4: Special Issue on Software Engineering II - Articles
  Towards Model Checking of Network Applications for IoT System Development
  Abstract  PDF