A Parallel Stratified Model Checking Technique/Tool for Leads-to Properties

  1. Do, C.M.
  2. Phyo, Y.
  3. Riesco, A.
  4. Ogata, K.
Actas:
Proceedings - 2021 7th International Symposium on System and Software Reliability, ISSSR 2021

ISBN: 9781665434317

Año de publicación: 2021

Páginas: 155-166

Tipo: Aportación congreso

DOI: 10.1109/ISSSR53171.2021.00011 GOOGLE SCHOLAR
Fuente de los datos: Scopus