खोजी परिणाम

This book describes a model-based development approach for globally-asynchronous locally-synchronous distributed embedded controllers.   This approach uses Petri nets as modeling formalism to create platform and network independent models supporting the use of design automation tools.   To support t... थप