• Verifying and Testing Asynchro...

Treffer: Verifying and Testing Asynchronous Circuits using LOTOS

Title:
Verifying and Testing Asynchronous Circuits using LOTOS
Formal description techniques for distributed systems and communication protocols and Protocol specification, testing and verification
Authors:
He, J., Turner, K. J.
Source:
FORMAL DESCRIPTION TECHNIQUES -INTERNATIONAL CONFERENCE-. :267-284
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN038343592&indx=1&recIds=ETOCCN038343592
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings