Algebra of Communicating Timing Charts for Describing and Verifying Hardware Interfaces

doi 10.1007/978-0-387-35064-6_14
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer US

Related search

A Principle for Describing and Verifying Brain Mechanisms Using Ongoing Activity

Frontiers in Neural Circuits
Molecular NeuroscienceSensory SystemsNeuroscienceCellularCognitive Neuroscience
2017English

Verifying Complex Interaction Between Hardware Processes

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2009English

Automatic Generation of Hardware/Software Interfaces

ACM SIGPLAN Notices
Computer Science
2012English

Software Timing Analysis for Complex Hardware With Survivability and Risk Analysis

2019English

Virtual Reality Hardware and Graphic Display Options for Brain–machine Interfaces

Journal of Neuroscience Methods
Neuroscience
2008English

Verifying Communicating Agents by Model Checking in a Temporal Action Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Surfaces and Interfaces: Combining Electronic Structure and Electron Transport Models for Describing Electron Spectra

Frontiers in Materials
Materials Science
2015English

Believable Specifications: Organizing and Describing Object Interfaces Using Protocol Conformance.

English

Specificities of Hardware-Forensic Data Duplicator Development Based on Various Interfaces

Journal of the Ural Federal District Information security
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy