Alejandro Santana-Alonso

According to our database¹, Alejandro Santana-Alonso authored at least 3 papers between 2013 and 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

Middleware Control Systems Design and Analysis Using Message Interpreted Petri Nets (MIPN).

[BibT_eX]

[DOI]

IEEE Access, 2022

2019

Formal Verification for Task Description Languages. A Petri Net Approach.

[BibT_eX]

[DOI]

Sensors, 2019

2013

WatchBot: A building maintenance and surveillance system based on autonomous robots.

[BibT_eX]

[DOI]

Robotics Auton. Syst., 2013