Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Eduard Cerny
Algebra of Communicating Timing Charts for Describing and Verifying Hardware Interfaces
Term Ordering Problem on MDG
Related publications
A Principle for Describing and Verifying Brain Mechanisms Using Ongoing Activity
Frontiers in Neural Circuits
Molecular Neuroscience
Sensory Systems
Neuroscience
Cellular
Cognitive Neuroscience
Verifying Complex Interaction Between Hardware Processes
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
Automatic Generation of Hardware/Software Interfaces
ACM SIGPLAN Notices
Computer Science
Software Timing Analysis for Complex Hardware With Survivability and Risk Analysis
Virtual Reality Hardware and Graphic Display Options for Brain–machine Interfaces
Journal of Neuroscience Methods
Neuroscience
Verifying Communicating Agents by Model Checking in a Temporal Action Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Surfaces and Interfaces: Combining Electronic Structure and Electron Transport Models for Describing Electron Spectra
Frontiers in Materials
Materials Science
Believable Specifications: Organizing and Describing Object Interfaces Using Protocol Conformance.
Specificities of Hardware-Forensic Data Duplicator Development Based on Various Interfaces
Journal of the Ural Federal District Information security