Coverage Analysis of Net Inscriptions in Coloured Petri Net Models

  1. Ahishakiye, F.
  2. Requeno Jarabo, J.I.
  3. Kristensen, L.M.
  4. Stolz, V.
Colección de libros:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 1611-3349,  0302-9743

ISBN: 9783030659547

Año de publicación: 2020

Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Proceedings

Volumen: 12519 LNCS

Páginas: 68-83

Tipo: Aportación congreso

DOI: 10.1007/978-3-030-65955-4_6 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible

Fuente de los datos: Scopus