Formal Verification of Signal Programs: Application to a Power Transformer Station Controller

Lecture Notes in Computer Science - Germany
doi 10.1007/bfb0014322
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Design of a Multi-Station Low-Voltage Current Transformer Automatic Verification System

DEStech Transactions on Materials Science and Engineering
2017English

Formal Design and Verification of an Asynchronous SRAM Controller

2017English

Formal Verification of Programs for Abstract Register Machines

Bulletin of the Novosibirsk Computing Center. Series:Computer Science
2013English

UML Based Formal Model of Smart Transformer Power System

International Journal of Advanced Computer Science and Applications
Computer Science
2017English

The MODUS Approach to Formal Verification

Business Systems Research
Information SystemsFinanceEconomicsManagement Information SystemsInnovationManagement of TechnologyEconometrics
2014English

The Use of Delfino Digital Signal Controller in Power Inverter

ITM Web of Conferences
2019English

Formal Verification of a Vehicle-To-Vehicle (V2V) Messaging System

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

How to Avoid the Formal Verification of a Theorem Prover

Logic Journal of the IGPL
Philosophy
2001English

A Cost Effective Digital Signal Controller Based Maximum Power Tracking Technique for Photovoltaic Power System

International Journal of Control and Automation
ControlSystems Engineering
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy