Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Anton Andrashov
Icone19-43169 Verification of Fpga-Based NPP I&c Systems : General Approach and Techniques
The Proceedings of the International Conference on Nuclear Engineering (ICONE)
Related publications
Automated Verification Techniques for Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A General Purpose FPGA-based Real-Time Simulator for Power Systems Applications
High-Level Debugging and Verification for FPGA-Based Multicore Architectures
C++ Based System Synthesis of Real-Time Video Processing Systems Targeting FPGA Implementation
FPGA-Based Implementation of Signal Processing Systems
Deductive Verification of Telecommunication Systems Written in C
Automatic Control and Computer Sciences
Control
Systems Engineering
Signal Processing
Software
Verification of Agent-Based Artifact Systems
Journal of Artificial Intelligence Research
Artificial Intelligence
Verification of Multiple Agent Knowledge-Based Systems
International Journal of Intelligent Systems
Theoretical Computer Science
Human-Computer Interaction
Artificial Intelligence
Software
Real-Time FPGA-Based Systems to Remote Monitoring
