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
2 results
Filters applied: . Clear all
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
Cite
Cite