Formal Verification Techniques: A Comparative Analysis for Critical System Design

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Intelligent systems design and applications ; Set 1
1. Verfasser: Karmakar, Rahul (VerfasserIn)
Pages:1
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2022
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Thoracic Disease Chest Radiographic Image Dataset: A Comprehensive Review 2022 Malhotra, Priyanka
Selective Information Control and Layer-Wise Partial Collective Compression for Multi-Layered Neural Networks 2022 Kamimura, Ryotaro
Lifetime Optimization of Sensor Networks with Mobile Sink and Solar Energy Supply 2022 Achour, Mehdi
Counting Vehicle by Axes with High-Precision in Brazilian Roads with Deep Learning Methods 2022 Santos, Adson M.
ResD Hybrid Model Based on Resnet18 and Densenet121 for Early Alzheimer Disease Classification 2022 Odusami, Modupe
A Model of Compactness-Homogeneity for Territorial Design 2022 Bernábe-Loranca, María Beatriz
VSim-AV: A Virtual Simulation Platform for Autonomous Vehicles 2022 Meftah, Leila Haj
Automated Cattle Classification and Counting Using Hybridized Mask R-CNN and YOLOv3 Algorithms 2022 Priya, R. Devi
Data-Centric Approach to Hepatitis C Virus Severity Prediction 2022 Sharma, Aniket
Automatic Crack Detection with Calculus of Variations 2022 Pellegrino, Erika
Toward a Configurable Thing Composition Language for the SIoT 2022 Boulaares, Soura
Semantic Segmentation of Dog’s Femur and Acetabulum Bones with Deep Transfer Learning in X-Ray Images 2022 Silva, D. E. Moreira da
Comparison of Different Processing Methods of Joint Coordinates Features for Gesture Recognition with a RNN in the MSRC-12 2022 Peixoto, Júlia Schubert
Hybrid Neural Network for Hyperspectral Satellite Image Classification (HNN) 2022 Hamouda, Maissa
Implementation of the Business Process Model and Notation in the Modelling of Patient’s Clinical Workflow in Oncology 2022 Bout, Nassim
Innovative Learning Technologies as Support to Clinical Reasoning in Medical Sciences: The Case of the “FEDERICO II” University 2022 Tamburis, Oscar
How Knowledge-Driven Class Generalization Affects Classical Machine Learning Algorithms for Mono-label Supervised Classification 2022 Turki, Houcemeddine
Metaheuristic Methods for Water Distribution Network Considering Routing Decision 2022 Hakimi, Ahmad
Comparative Evaluation of Genetic Operators in Cartesian Genetic Programming 2022 Manazir, Abdul
Prediction of Credibility of Football Player Rating Using Data Analytics 2022 Datta, Manaswita
Alle Artikel auflisten