Search Page
Save citations to file
Email citations
Send citations to clipboard
Add to Collections
Add to My Bibliography
Create a file for external citation management software
Your saved search
Your RSS Feed
Filters
Results by year
Table representation of search results timeline featuring number of search results per year.
Year | Number of Results |
---|---|
2016 | 1 |
2017 | 1 |
2019 | 1 |
2021 | 2 |
2022 | 1 |
2024 | 0 |
Search Results
5 results
Results by year
Filters applied: . Clear all
Page 1
Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets.
Sci Prog. 2022 Jan-Mar;105(1):368504221075466. doi: 10.1177/00368504221075466.
Sci Prog. 2022.
PMID: 35196198
Free PMC article.
Predictive Intelligent Transportation: Alleviating Traffic Congestion in the Internet of Vehicles.
Zhang L, Khalgui M, Li Z.
Zhang L, et al. Among authors: khalgui m.
Sensors (Basel). 2021 Nov 4;21(21):7330. doi: 10.3390/s21217330.
Sensors (Basel). 2021.
PMID: 34770637
Free PMC article.
Item in Clipboard
UTM-Chain: Blockchain-Based Secure Unmanned Traffic Management for Internet of Drones.
Allouch A, Cheikhrouhou O, Koubâa A, Toumi K, Khalgui M, Nguyen Gia T.
Allouch A, et al. Among authors: khalgui m.
Sensors (Basel). 2021 Apr 27;21(9):3049. doi: 10.3390/s21093049.
Sensors (Basel). 2021.
PMID: 33925489
Free PMC article.
Item in Clipboard
Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors.
Cong X, Wang A, Chen Y, Wu N, Qu T, Khalgui M, Li Z.
Cong X, et al. Among authors: khalgui m.
ISA Trans. 2019 Sep;92:145-154. doi: 10.1016/j.isatra.2019.02.003. Epub 2019 Feb 15.
ISA Trans. 2019.
PMID: 30850206
Item in Clipboard
BROMETH: Methodology to design safe reconfigurable medical robotic systems.
Ben Salem MO, Mosbahi O, Khalgui M, Jlalia Z, Frey G, Smida M.
Ben Salem MO, et al. Among authors: khalgui m.
Int J Med Robot. 2017 Sep;13(3). doi: 10.1002/rcs.1786. Epub 2016 Nov 14.
Int J Med Robot. 2017.
PMID: 27862888
Item in Clipboard
Cite
Cite