Login / Signup
Antonio Mateo
ORCID
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Educational Tool
Petri Net
Temporal Logic
Reactive Systems
Top Venues
Comput. Appl. Eng. Educ.
</>
Publications
</>
Fulgencio Soto
,
Pedro Sánchez
,
Antonio Mateo
,
Diego Alonso
,
Pedro J. Navarro
An educational tool for implementing reactive systems following a goal-driven approach.
Comput. Appl. Eng. Educ.
22 (4) (2014)