Sökning: "Sabor Amini"

Hittade 2 uppsatser innehållade orden Sabor Amini.

1. 1. Using Requirement-Driven Symbolic Execution to Test Implementations of the CoAP and EDHOC Network Protocols

   Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Datalogi

   Författare :Sabor Amini; [2023]
   Nyckelord :Requirement-driven; Symbolic execution; Network protocols; CoAP; EDHOC; Kravbaserad; Symbolisk Exekvering; Nätverksprotokoll;

   Sammanfattning : As the number of Internet of Things devices is increasing rapidly, it is of utmost significance that the implementations of protocols for constrained devices are bug-free. In general implementations of network protocols are error-prone due to their complex nature and ambiguities in the protocol specification. LÄS MER

3. 2. Digitalising The Smith Machine

   Kandidat-uppsats, Högskolan i Halmstad/Akademin för informationsteknologi

   Författare :Rana Faheem Iftikhar; Sabor Amini; [2021]
   Nyckelord :Digital Training Machine; Vesc; Vesc Tool; BLDC Motor; Constant Torque;

   Sammanfattning : Health and fitness sector is becoming increasingly popular, and technology is being integrated into the fitness industry. This project proposed to digitalise the smith machine by creating a system to generate force through an electric motor to replace free weights. LÄS MER