( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model Checking Mutual Exclusion Algorithms Using Uppaal.

, , и . CSOC (2), том 465 из Advances in Intelligent Systems and Computing, стр. 203-215. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Giordano Paolo

Paolo Molteni

Paolo Fornara

Paolo Bavaj

Paolo Imperia

 

Другие публикации лиц с тем же именем

Agent-based software architecture for distributed measurement systems and cyber-physical systems design., , , , и . I2MTC, стр. 1-6. IEEE, (2017)Mobile object to speed up the synchronization of IoT network., , , и . M&N, стр. 1-6. IEEE, (2017)Formal Modeling and Analysis of Probabilistic Real-Time Systems., , и . ICICT (1), том 1041 из Advances in Intelligent Systems and Computing, стр. 55-72. Springer, (2019)Time Synchronization in Wireless Sensor Networks: A Modeling and Analysis Experience Using Theatre., и . DS-RT, стр. 63-70. IEEE Computer Society, (2018)Setting-up of PPG scaling factors for SpO2% evaluation by smartphone., , , , и . MeMeA, стр. 1-5. IEEE, (2016)Synchronization of IoT Layers for Structural Health Monitoring., , , , и . MetroInd4.0&IoT, стр. 89-94. IEEE, (2018)Model Checking Mutual Exclusion Algorithms Using Uppaal., , и . CSOC (2), том 465 из Advances in Intelligent Systems and Computing, стр. 203-215. Springer, (2016)Statistical Model Checking of Cyber-Physical Systems Using Hybrid Theatre., и . IntelliSys (1), том 1037 из Advances in Intelligent Systems and Computing, стр. 1232-1251. Springer, (2019)IoT for structural health monitoring., , , , и . IEEE Instrum. Meas. Mag., 21 (6): 4-14 (2018)Statistical model checking of distributed real-time actor systems., и . DS-RT, стр. 188-195. IEEE Computer Society, (2017)