P. Vignesh V. Ganesan
According to our database1,
P. Vignesh V. Ganesan
authored at least 3 papers
between 2007 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
2007
2008
2009
2010
2011
2012
0
1
2
3
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
ACM SIGSOFT Softw. Eng. Notes, 2012
2007
A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems.
Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007
Proceedings of the 44th Design Automation Conference, 2007