1.
AR Fereidunian CV
·TAM IKCo: senior electrical and automation engineer, involved in design, manufacturing, installation and commissioning of PLC based control systems with ...
2.
Commit Problem
Problem Description: There are n entities that are supposed to commit on performing an action. In case any of them disagrees, the action will be aborted. ...
3.
Rebeca User's Guide
File Format: PDF/Adobe Acrobat - View as HTML Jan 10, 2004 ... In sending a message, a message consists of the callee id, message id and the parameters passed to the callee. ...
4.
CSMA/CD
In this problem we will study the Media Access Control (Mac) sub layer of the Carrier Sense, Multiple Access with Control Detection (CSMA/CD) communication ...
5.
Sarir
Sarir tool, is a Rebeca to mcrl2 compiler. For more information, please refer to “H. ... Download: Sarir. Case Study: Tree identify phase of the IEEE 1394 ...
6.
Rebeca
Rebeca. Home · Publications · Tools · Team Members · Examples · Contact us, What is Rebeca? Rebeca (Reactive Objects Language) is an actor-based language ...
7.
Rebeca
Rebeca. Home · Publications · Tools · Team Members · Examples · Contact us, What is Rebeca? Rebeca (Reactive Objects Language) is an actor-based language ...
8.
Train Controller
The train controller, is a system to signal the trains to stop, to to pass from the bridge, from each side. The controller gets notified when a train ...
9.
Train Controller
The train controller, is a system to signal the trains to stop, to to pass from the bridge, from each side. The controller gets notified when a train ...
10.
CSMA/CD
In this problem we will study the Media Access Control (Mac) sub layer of the Carrier Sense, Multiple Access with Control Detection (CSMA/CD) communication ...
