Keyword : autonomous driving system


Evaluation the Redundancy of the IoT System Based on Individual Sensing Probability
Ryuichi TAKAHASHI 
Publication:   
Publication Date: 2020/08/01
Vol. E103-D  No. 8 ; pp. 1783-1793
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approaches)
Category: Formal Approaches
Keyword: 
IoT systemautonomous driving systemsensing probabilityPRISM model checker
 Summary | Full Text:PDF(779KB)