Index Catalog // Scholar@UC

Skip to Content

Changer de langue
- Changer de langue
- English
- Español
- 中文
S'identifier

People
Sur
Contact
Aidez-moi

Browse

Rechercher Scholar@UC

Recherche

Effacer les filtres

Filtrage par: Creator/Author Savolainen, Juha Supprimer la restriction Creator/Author: Savolainen, Juha Subject model checking Supprimer la restriction Subject: model checking

1 de 1 sur 1

relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
title A-Z
title Z-A

Nombre de résultats à afficher par page

10 par page
20 par page
50 par page
100 par page

Affichage:

Liste Galerie Mosaïque Diaporama

Résultats de recherche

Sélectionnez une image pour lancer le diaporama

Article thumbnail: A Process Mining Approach to Improving Defect Detection of SysML Models

A Process Mining Approach to Improving Defect Detection of SysML Models

1 de 1

Limiter votre recherche

Type of Work

Article1

Creator/Author

Alenazi, Mounifah1
Niu, Nan1
Savolainen, Juha[remove]1

Subject

defect detection1
model checking[remove]1
model-driven engineering1
mutation testing1
process mining1
plus Subjects »

College

Engineering and Applied Science1

Language

English1

Publisher

University of Cincinnati1

Date Created

2019-09-021

Scholar@UC Terms of Use

Deployed on 04-30-2026 06:39:34 PM

Copyright Information © 2026 University of Cincinnati

eAccessibility Concern

Clery and HEOA Notice

Notice of Non-Discrimination

Based on Hyrax

Made possible by the Samvera project.