Work

Deploying warehouse robots with confidence: the BRAIN-IoT framework’s functional assurance

Year: 2023

Type: article

Source: The Journal of Supercomputing

DOI: 10.1007/s11227-023-05483-x

Authors: Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Levent Gürgen, Richard Nicholson, Miquel Cantero, Mario Diaznava, Enrico Ferrera

Institutions: Centre National de la Recherche Scientifique, Institut de Recherche en Informatique de Toulouse, Université de Toulouse, Verimag, Université Grenoble Alpes, Amazon (United Kingdom), STMicroelectronics (France), LINKS Foundation

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: European Commission

Award: model-Based fRamework for dependable sensing and Actuation in INtelligent decentralized IoT systems

OpenAlex ID: W4384035862

FWCI: 1.783

Cites: 56

Cited by: 10

Related to: 10