A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. [PDF]
Sensors (Basel), 2023 Bezerra WR, Martina JE, Westphall CB.
europepmc +1 more source
A SysML Representation of the Wireless Factory Work-cell: Enabling real-time observation and control by modeling significant architecture, components, and information flows. [PDF]
Int J Adv Manuf Technol, 2019 Candell R, Kashef M, Liu Y, Foufou S.
europepmc +1 more source
Yin-Yang: Programming Abstractions for Cross-Domain Multi-Acceleration. [PDF]
IEEE Micro, 2022 Kim JK +12 more
europepmc +1 more source
Towards a Unified Management Interface for 5G Sensor Networks: Interoperability between Yet Another Next Generation and Open Platform Communication Unified Architecture. [PDF]
Sensors (Basel)Sambandan D, Thirupathi D.
europepmc +1 more source
Model of Mobile Manipulator Performance Measurement using SysML. [PDF]
J Intell Robot Syst, 2018 Bostelman R, Foufou S, Hong T, Shah M.
europepmc +1 more source
Diagrammatic physical robot models. [PDF]
Softw Syst ModelMiyazawa A +7 more
europepmc +1 more source
Sensing Classroom Temperature, Relative Humidity, Illuminance, CO2, and Noise: An Integral Solution Based on an IoT Device for Dense Deployments. [PDF]
Sensors (Basel)Hernandez W, Cañas N.
europepmc +1 more source
An Overview of Software-based Support Tools for ISO 26262 [PDF]
, 2010 Makartetskiy, Denis +2 more
core
A Model-Based Systematic Innovative Design for Sonic Logging Instruments in Natural Gas Wells. [PDF]
Sensors (Basel)Jiang C, Zhao W, Yu M, Zhang K.
europepmc +1 more source