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
Search Results
4 results
Filters applied: . Clear all
Results are displayed in a computed author sort order.
The Results By Year timeline is not available.
Page 1
Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets.
Sensors (Basel). 2020 Sep 28;20(19):5565. doi: 10.3390/s20195565.
Sensors (Basel). 2020.
PMID: 32998420
Free PMC article.
Formal Verification of Control Modules in Cyber-Physical Systems.
Grobelna I.
Grobelna I.
Sensors (Basel). 2020 Sep 10;20(18):5154. doi: 10.3390/s20185154.
Sensors (Basel). 2020.
PMID: 32927612
Free PMC article.
Item in Clipboard
Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets.
Grobelna I, Szcześniak P.
Grobelna I, et al.
Sensors (Basel). 2022 Sep 14;22(18):6936. doi: 10.3390/s22186936.
Sensors (Basel). 2022.
PMID: 36146285
Free PMC article.
Item in Clipboard
Intelligent Industrial Process Control Systems.
Grobelna I.
Grobelna I.
Sensors (Basel). 2023 Aug 1;23(15):6838. doi: 10.3390/s23156838.
Sensors (Basel). 2023.
PMID: 37571621
Free PMC article.
Item in Clipboard
Cite
Cite