Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yashdeep Godhal
Synthesis of AMBA AHB From Formal Specification: A Case Study
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Related publications
A Formal Specification of dMARS
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
HPChecker: An AMBA AHB On-Chip Bus Protocol Checker With Efficient Verification Mechanisms
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Formal Specification and Verification
Toward a Formal Specification of Menu-Based Systems
Journal of Systems and Software
Hardware
Information Systems
Architecture
Software
A Formal Specification of the CORBA Event Service
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Formal Specification and Verification of CRDTs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Esterel V7: From Verified Formal Specification to Efficient Industrial Designs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Specification of Gateways in Integrated Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Specification of a Truck Geo-Location Big-Data Application
International Journal of Advanced Computer Science and Applications
Computer Science
