Icone19-43169 Verification of Fpga-Based NPP I&c Systems : General Approach and Techniques

The Proceedings of the International Conference on Nuclear Engineering (ICONE)
doi 10.1299/jsmeicone.2011.19._icone1943_61
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Japan Society of Mechanical Engineers

Related search

Automated Verification Techniques for Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A General Purpose FPGA-based Real-Time Simulator for Power Systems Applications

2013English

High-Level Debugging and Verification for FPGA-Based Multicore Architectures

2015English

C++ Based System Synthesis of Real-Time Video Processing Systems Targeting FPGA Implementation

2007English

FPGA-Based Implementation of Signal Processing Systems

2008English

Deductive Verification of Telecommunication Systems Written in C

Automatic Control and Computer Sciences
ControlSystems EngineeringSignal ProcessingSoftware
2013English

Verification of Agent-Based Artifact Systems

Journal of Artificial Intelligence Research
Artificial Intelligence
2014English

Verification of Multiple Agent Knowledge-Based Systems

International Journal of Intelligent Systems
Theoretical Computer ScienceHuman-Computer InteractionArtificial IntelligenceSoftware
2001English

Real-Time FPGA-Based Systems to Remote Monitoring

2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy