Formal verification for task description languages. A petri net approach

  1. López, J.
  2. Santana-Alonso, A.
  3. Medina, M.D.-C.
Revista:
Sensors (Switzerland)

ISSN: 1424-8220

Ano de publicación: 2019

Volume: 19

Número: 22

Tipo: Artigo

DOI: 10.3390/S19224965 GOOGLE SCHOLAR lock_openAcceso aberto editor
Fonte de datos: Scopus