• 80 Citations
  • 5 h-Index
20042020
If you made any changes in Pure these will be visible here soon.

Research Output 2004 2020

  • 80 Citations
  • 5 h-Index
  • 22 Article
  • 1 Conference contribution
Filter
Conference contribution
2015
2 Citations (Scopus)

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

Monitoring
Life cycle
Health
Charts
Chemical analysis