Adopting Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-based Healthcare Records Sharing System

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:ICEIS (Veranstaltung : 22. : 2020 : Online) ICEIS 2020 ; Volume 1
1. Verfasser: Jabbar, Rateb (VerfasserIn)
Weitere Verfasser: Krichen, Moez (VerfasserIn), Fetais, Noora (VerfasserIn), Barkaoui, Kamel (VerfasserIn)
Pages:2020
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Formal Requirements Modeling and Verification for Critical Systems 2020 Laleau, Régine
Information for Regional Innovation Systems 2020 Phillips, Fred
Discovering of a Conceptual Model from a NoSQL Database 2020 Abdelhedi, Fatma
Quality Evaluation for Documental Big Data 2020 Fugini, Mariagrazia
Hybrid Shallow Learning and Deep Learning for Feature Extraction and Image Retrieval 2020 Karamti, Hanen
Web Services-based Report Generation System from Big Data in the Manufacturing Industry based on Agile Software Development 2020 Kattiyawong, Plueksaporn
Investigating the Performance of Moodle Database Queries in Cloud Environments 2020 Wiechork, Karina
Predicting e-Mail Response Time in Corporate Customer Support 2020 Borg, Anton
Globo Face Stream: A System for Video Meta-data Generation in an Entertainment Industry Setting 2020 Pena, Rafael
A Mixed Linear Integer Programming Formulation and a Simulated Annealing Algorithm for the Mammography Unit Location Problem 2020 Campos, Marcos Vinicius Andrade de
Personal Documents Classification using a Hybrid Framework at a Mobile Insurance Company: A Case Study 2020 Barcellos, Raissa
A Meta-heuristic based Multi-Agent Approach for Last Mile Delivery Problem 2020 Hasan, Maram
Predicting the Tear Strength of Woven Fabrics Via Automated Machine Learning: An Application of the CRISP-DM Methodology 2020 Ribeiro, Rui
EvaTalk: A Chatbot System for the Brazilian Government Virtual School 2020 Andrade, Guilherme De Guy
Designing a Decision Support System for Predicting Innovation Activity 2020 Korableva, Olga N.
OntoDIVE: An Ontology for Representing Data Science Initiatives upon Big Data Technologies 2020 Pinto, Vitor Afonso
Situation-aware Building Information Models for Next Generation Building Management Systems 2020 Noran, Ovidiu
Public Key Infrastructure Issues for Enterprise Level Security 2020 Foltz, Kevin
Efficient Representation of Very Large Linked Datasets as Graphs 2020 Krommyda, Maria
Mixing Heterogeneous Authentication and Authorization Infrastructures through Proxies 2020 Furfaro, Angelo
Alle Artikel auflisten