Cross layer property verification with Property Sequence Charts

Sridevi Saralaya, Rio D'Souza, Vishwas Saralaya

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

3 Citations (Scopus)

Fingerprint Dive into the research topics of 'Cross layer property verification with Property Sequence Charts'. Together they form a unique fingerprint.

Business & Economics

Engineering & Materials Science