Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mazen Samaan
Formal Verification of Signal Programs: Application to a Power Transformer Station Controller
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Design of a Multi-Station Low-Voltage Current Transformer Automatic Verification System
DEStech Transactions on Materials Science and Engineering
Formal Design and Verification of an Asynchronous SRAM Controller
Formal Verification of Programs for Abstract Register Machines
Bulletin of the Novosibirsk Computing Center. Series:Computer Science
UML Based Formal Model of Smart Transformer Power System
International Journal of Advanced Computer Science and Applications
Computer Science
The MODUS Approach to Formal Verification
Business Systems Research
Information Systems
Finance
Economics
Management Information Systems
Innovation
Management of Technology
Econometrics
The Use of Delfino Digital Signal Controller in Power Inverter
ITM Web of Conferences
Formal Verification of a Vehicle-To-Vehicle (V2V) Messaging System
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
How to Avoid the Formal Verification of a Theorem Prover
Logic Journal of the IGPL
Philosophy
A Cost Effective Digital Signal Controller Based Maximum Power Tracking Technique for Photovoltaic Power System
International Journal of Control and Automation
Control
Systems Engineering
