Author:
Avnit Karin,D'Silva Vijay,Sowmya Arcot,Ramesh S.,Parameswaran Sri
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated Synthesis of Protocol Converters with BALM-II;Software Engineering and Formal Methods;2015
2. Related Work and Outlook;Correct-by-Construction Approaches for SoC Design;2013-07-19
3. ACS: Automatic Converter Synthesis for SoC Bus Protocols;Tools and Algorithms for the Construction and Analysis of Systems;2010
4. Formally Synthesising a Protocol Converter: A Case Study;Implementation and Application of Automata;2009