Search Results - "Finite state machine" :: UTM Library Massive Scholar Tracking

1

Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures by D'Silva, V, Ramesh, S, Sowmya, A

Published 2004
“…We present a synchronous, Finite State Machine based framework for modelling communication aspects of such architectures. …”

Conference item
2

Synchronous protocol automata: a framework for modelling and verification of SoC communication architectures by D'Silva, V, Ramesh, S, Sowmya, A

Published 2005
“…A synchronous, finite state machine framework for modelling communication aspects of such architecture is presented. …”

Journal article