Skip to search formSkip to main contentSkip to account menu

ACCESS.bus

ACCESS.bus, or A.b for short, is a peripheral-interconnect computer bus developed by Philips and DEC in the early 1990s, based on Philips' I²C system… 
Wikipedia (opens in a new tab)

Related topics

Related topics

11 relations
Apple Desktop BusDevice driverDisplay Data ChannelForte VFX1

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
1996
Highly Cited
1996
FME'96: Industrial Benefit and Advances in Formal Methods
How did software get so reliable without proof?.- A case study on the formal development of a reactor safety system.- Test… 
1996
1996
Model Checking in Practice : An Analysis of theACCESS . busTM Protocol using
This paper presents a case study of the use of model checking for analyzing an industrial protocol, the ACCESS.bus TM protocol… 
1995
1995
Verifying Part of the ACCESS.bus Protocol Using PVS
Based on a compositional framework for the formal specification of distributed real-time systems, we present a method for… 
1995
1995
Foundations of software technology and theoretical computer science : 15th conference, Bangalore, India, December 18-20, 1995 : proceedings
Looking for MUM and DAD: Text-text comparisons do help.- Branch and bound on the network model.- A near optimal algorithm for the… 
1991
1991
ACCESS.bus, an Open Desktop Bus
With the recent introduction of the ACCESS.bus product, Digital has affirmed its commitment to open systems and thus to… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)