Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

SPIN
2000
Springer

favoriteEmaildiscussreport

138views Theoretical Computer Science» more SPIN 2000»

Abstraction of Communication Channels in Promela: A Case Study

13 years 8 months ago

Abstraction of Communication Channels in Promela: A Case Study

Download www.netlib.org

Elena Fersman, Bengt Jonsson

Real-time Traffic

SPIN 2000 | Theoretical Computer Science |

claim paper

Related Content

» Feature interaction detection by pairwise analysis of LTL properties A case study

» Type inference and strong static type checking for Promela

» Channel Capacity Limitations versus Hardware Implementation for UWB Impulse Radio Communic...

» Practical Considerations in Protocol Verification The E2C Case Study

» Simulation analysis of Bluetooth Piconets selfdisturbance in industrial applications A cas...

» Reliable Data Transmission over Simple Wireless Channels A Case Study

» A Discrete Channel Model for Capturing Memory and SoftDecision Information A Capacity Stud...

» Measurement Study on PPLive Based on Channel Popularity

» Nonuniformly Communicating Noncontiguous Data A Case Study with PETSc and MPI

Post Info
More Details (n/a)

Added	25 Aug 2010
Updated	25 Aug 2010
Type	Conference
Year	2000
Where	SPIN
Authors	Elena Fersman, Bengt Jonsson

Comments (0)