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 |
---|---|
2019 | 1 |
2020 | 1 |
2024 | 0 |
Search Results
2 results
Results by year
Filters applied: . Clear all
Page 1
Implementing Autonomous Driving Behaviors Using a Message Driven Petri Net Framework.
Sensors (Basel). 2020 Jan 13;20(2):449. doi: 10.3390/s20020449.
Sensors (Basel). 2020.
PMID: 31941134
Free PMC article.
Formal Verification for Task Description Languages. A Petri Net Approach.
López J, Santana-Alonso A, Díaz-Cacho Medina M.
López J, et al.
Sensors (Basel). 2019 Nov 14;19(22):4965. doi: 10.3390/s19224965.
Sensors (Basel). 2019.
PMID: 31739526
Free PMC article.
Item in Clipboard
Cite
Cite