Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Amna Pir
UML Based Formal Model of Smart Transformer Power System
International Journal of Advanced Computer Science and Applications
Computer Science
Related publications
Formal Proof From UML Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of Signal Programs: Application to a Power Transformer Station Controller
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modeling of Modular Based Flexible Power Electronic Transformer
International Journal of Advance Engineering and Research Development
Power Transformer Model in Railway Applications Based on Bond Graph and Parameter Identification
IEEE Transactions on Transportation Electrification
Electronic Engineering
Transportation
Energy Engineering
Automotive Engineering
Electrical
Power Technology
An IoT Based Smart Power Mangement System for Technical University
International Journal of Computer Applications
Analysis and Design of Power Electronic Transformer Based Power Quality Improvement
IOSR Journal of Electrical and Electronics Engineering
Real-Time Monitoring & Adaptive Protection of Power Transformer to Enhance Smart Grid Reliability
Electrical, Control and Communication Engineering
Study on Intelligent Monitoring System for Oil-Immersed Power Transformer Cooling System Based on Virtual Instrument
Advances in Energy and Power Engineering
Software Performance Evaluation Utilizing UML Specification and SRN Model and Their Formal Representation
Journal of Software