Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Satish Batchu
Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
Related publications
Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting
IFAC Proceedings Volumes
Verification of Cloud Based Information Integration Architecture Using Colored Petri Nets
International Journal of Computer Network and Information Security
Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets
Towards Automated fUML Model Verification With Petri Nets
A New Protocol for the Decentralized Diagnosis of Labeled Petri Nets
IFAC Proceedings Volumes
Efficient Parametric Yield Estimation of Analog/Mixed-Signal Circuits via Bayesian Model Fusion
Combined Self-Test of Analog Portion and ADCs in Integrated Mixed-Signal Circuits
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
The Complexity of Diagnosability and Opacity Verification for Petri Nets
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Analog Integrated Circuits and Signal Processing
Analog Integrated Circuits and Signal Processing
Surfaces
Signal Processing
Hardware
Architecture
Films
Coatings
