( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Verification of Time Constrains SysML Internal Block Diagram Using PRISM.

, , и . ICCSA (Short Papers/poster papers/PhD student showcase works), стр. 62-66. IEEE Computer Society, (2015)

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.

Nail Arif

Malak Fahimi-Hamidi

Laila Fahim-Tanasch

Matin Fahimi

Isabelle Jasmine Fahimi

 

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

Contrast enhancement based flood monitoring., , , и . ISPACS, стр. 525-530. IEEE, (2013)Internet of Things-Based Smart City Environments Using Big Data Analytics: A Survey., , и . Recent Trends and Advances in Wireless and IoT-enabled Networks, Springer, (2019)Smart urban planning using Big Data analytics to contend with the interoperability in Internet of Things, и . Future Generation Computer Systems, (2017)Energy-harvesting based on internet of things and big data analytics for smart health monitoring., , , и . Sustain. Comput. Informatics Syst., (2018)Formal verification of internal block diagram of SysML for modeling real-time system., , и . SNPD, стр. 617-622. IEEE Computer Society, (2015)IoT Sensor Systems Mapping Quality Parameters Using Cloud Computing., , и . FIT, стр. 176-181. IEEE, (2021)Smart urban planning using big data analytics based internet of things., и . UbiComp/ISWC Adjunct, стр. 397-402. ACM, (2017)An Agent-Based Autonomous Controller for Traffic Management., , и . ICSECS (3), том 181 из Communications in Computer and Information Science, стр. 755-763. Springer, (2011)Real-time data processing scheme using big data analytics in internet of things based smart transportation environment., и . J. Ambient Intell. Humaniz. Comput., 10 (10): 4167-4177 (2019)Projection Method for Geometric Modeling of High Resolution Satellite Images Applying Different Approximations., , и . PSIVT, том 4319 из Lecture Notes in Computer Science, стр. 421-432. Springer, (2006)