Keyword : probabilistic model checking and controller area networks


Probabilistic Priority Message Checking Modeling Based on Controller Area Networks
Cheng-Min LIN 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2010/08/01
Vol. E93-B  No. 8 ; pp. 2171-2175
Type of Manuscript:  LETTER
Category: Fundamental Theories for Communications
Keyword: 
modellingsimulationpriority queueingMarkov chainsprobabilistic model checking and controller area networks
 Summary | Full Text:PDF