Cargando…

A formal notation for hardware and software verification

Detalles Bibliográficos
Autores principales:	Chapman, R, Gabriel, J R
Lenguaje:	eng
Publicado:	1986
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/174212

Ejemplares similares

Formal verification of floating-point hardware design: a mathematical approach
por: Russinoff, David M, et al.
Publicado: (2018)

Co-verification of hardware and software for ARM SoC design
por: Andrews, Jason
Publicado: (2004)

Formal Verification of Neural Networks
por: Sommart, Thanapong
Publicado: (2023)

Hardware and software surveillance
por: Braathen, Andreas
Publicado: (2005)

Hardware-dependent Software
por: Ecker, Wolfgang, et al.
Publicado: (2009)

List search hardware for interpretive software
por: Altaber, Jacques, et al.
Publicado: (1979)

Microcomputer: analog converter software and hardware interfacing
por: Titus, Jonathan A, et al.
Publicado: (1978)

Recommendation for a short hand X.400 address notation
por: Grimm, R, et al.
Publicado: (1989)

Windows software compatibility and hardware troubleshooting
por: Halsey, Mike, et al.
Publicado: (2015)

Hardware and software tools for neural networks
por: Treleaven, P C
Publicado: (1990)

Introduction to microprocessors: software, hardware, programming
por: Leventhal, Lance A
Publicado: (1978)

Embedded Linux: hardware, software, and interfacing
por: Hollabaugh, Craig
Publicado: (2002)

Readings in Hardware/Software Co-Design
por: De Micheli, Giovanni, et al.
Publicado: (2001)

Hardware and computer organization: the software perspective
por: Berger, Arnold S
Publicado: (2005)

Many-core computing: hardware and software
por: Al-Hashimi, Bashir M, et al.
Publicado: (2019)

SystemVerilog assertions handbook: for dynamic and formal verification
por: Cohen, Ben, et al.
Publicado: (2016)

Formal system verification: state-of the-art and future trends
por: Drechsler, Rolf
Publicado: (2017)

Computer organization and design: the hardware/software interface
por: Patterson, David A, et al.
Publicado: (2013)

IT essentials: PC hardware and software companion guide
Publicado: (2014)

Computer organization and design: the hardware/software interface
por: Patterson, David A, et al.
Publicado: (2007)

Computer organization and design: the hardware/software interface
por: Patterson, David A, et al.
Publicado: (2009)

Co-simulation hardware/software in computer systems
por: Mora, F, et al.
Publicado: (1998)

Code: the hidden language of computer hardware and software
por: Petzold, Charles
Publicado: (2000)

Computer, Network, Software, and Hardware Engineering with Applications
por: Schneidewind, Norman F
Publicado: (2012)

Computer organization and design: the hardware/software interface
por: Patterson, David A, et al.
Publicado: (2011)

Evaluating the scalability of HEP software and multi-core hardware
por: Jarp, S, et al.
Publicado: (2011)

Complete CompTIA A+ guide to IT hardware and software
por: Schmidt, Cheryl A
Publicado: (2016)

A user task design notation for improved software design
por: Ozcan, Eda, et al.
Publicado: (2021)

A touch-sensitive computer terminal: hardware and software aspects
por: Bretin, J L, et al.
Publicado: (1977)

Computer architecture; software and hardware, v.1-2
por: Kain, Richard Y
Publicado: (1989)

Conference on New Developments in Hardware and Software for Computational Physics
por: Collective
Publicado: (1988)

String analysis for software verification and security
por: Bultan, Tevfik, et al.
Publicado: (2018)

IT Career JumpStart: An Introduction to PC Hardware, Software, and Networking
por: Alpern, Naomi J, et al.
Publicado: (2011)

Introduction to JavaScript object notation: a to-the-point guide to JSON
por: Bassett, Lindsay
Publicado: (2015)

Introduction to PCI Express: A Hardware and Software Developer's Guide
por: Wilen, Adam, et al.
Publicado: (2003)

Bringing Automated Formal Verification to PLC Program Development
por: Fernández Adiego, Borja
Publicado: (2015)

Object oriented hardware-software test bench for OMTF diagnosis
por: Drabik, Pawel, et al.
Publicado: (2015)

Creating functional teams for the IoT: hardware, software, and manufacturing collaboration
por: Barlow, Mike
Publicado: (2015)

2nd Workshop on Massive Parallelism: Hardware, Software and Applications
por: Furnari, Mario Mango
Publicado: (1994)

The architecture of computer hardware and systems software: an information technology approach
por: Englander, Irv
Publicado: (2009)

Cannot write session to /tmp/vufind_sessions/sess_ce0qihahrp4kmh2pphiu2r24up