• 83 Citations
  • 5 h-Index
20042020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

  • 83 Citations
  • 5 h-Index
  • 21 Article
  • 1 Chapter
  • 1 Conference contribution
Filter
Conference contribution
2015

Cross layer property verification with Property Sequence Charts

Saralaya, S., D'Souza, R. & Saralaya, V., 05-10-2015, Proceedings of the IEEE International Conference on Soft-Computing and Network Security, ICSNS 2015. Institute of Electrical and Electronics Engineers Inc., 7292368

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)