Behavioral Fault Modelling and Analysis with BIP: A Wheel Brake System Case Study

Behavioral Fault Modelling and Analysis with BIP: A Wheel Brake System Case Study

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:ICA3PP (20. : 2020 : New York, NY; Online) Algorithms and architectures for parallel processing ; Part 3
1. Verfasser: Tang, Xudong (VerfasserIn)
Weitere Verfasser: Wang, Qiang (VerfasserIn), Miao, Weikai (VerfasserIn)
Pages:3
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Understanding Privacy-Preserving Techniques in Digital Cryptocurrencies 2020 Zhang, Yue
Reputation-Based Trustworthy Supply Chain Management Using Smart Contract 2020 Li, Haochen
Blockchain-Based Secure and Privacy-Preserving Clinical Data Sharing and Integration 2020 Jin, Hao
An Attack-Immune Trusted Architecture for Supervisory Intelligent Terminal 2020 Cheng, Dongxu
Profiling-Based Big Data Workflow Optimization in a Cross-layer Coupled 2020 Ye, Qianwen
Classification of Depression Based on Local Binary Pattern and Singular Spectrum Analysis 2020 Duan, Lijuan
FleetChain: A Secure Scalable and Responsive Blockchain Achieving Optimal Sharding 2020 Liu, D. Yizhong
DSBFT: A Delegation Based Scalable Byzantine False Tolerance Consensus Mechanism 2020 Liu, Yuan
A Privacy-Preserving Approach for Continuous Data Publication 2020 Zhang, Mengjie
IncreAIBMF: Incremental Learning for Encrypted Mobile Application Identification 2020 Sang, Yafei
BIMP: Blockchain-Based Incentive Mechanism with Privacy Preserving in Location Proof 2020 Lin, Zhen
Indoor Positioning and Prediction in Smart Elderly Care: Model, System and Applications 2020 Liu, Yufei
Effective Sentiment Analysis for Multimodal Review Data on the Web 2020 Jin, Peiquan
An Ensemble Learning Approach to Detect Malwares Based on Static Information 2020 Chen, Lin
LNBFSM: A Food Safety Management System Using Blockchain and Lightning Network 2020 Fang, Zhengkang
Blockchain Based Data Integrity Verification for Cloud Storage with T-Merkle Tree 2020 He, D. Kai
Dynamic Co-located VM Detection and Membership Update for Residency Aware Inter-VM Communication in Virtualized Clouds 2020 Wang, Zhe
Machine Learning-Based Attack Detection Method in Hadoop 2020 Li, Ningwei
H2P: A Novel Model to Study the Propagation of Modern Hybrid Worm in Hierarchical Networks 2020 Wang, Tianbo
Design of Six-Rotor Drone Based on Target Detection for Intelligent Agriculture 2020 Liao, Chenyang
Alle Artikel auflisten