Zero-enabling smart networked control framework for agile cyber physical production systems of systems

Jäntti, Riku (Vastuullinen tutkija)
Costa Requena, Jose (Projektin jäsen)
Saba, Norshahida (Projektin jäsen)
Kortela, Jukka (Projektin jäsen)
Virrankoski, Reino (Projektin jäsen)

Informaatio- ja tietoliikennetekniikan laitos

3 Conference article in proceedings
1 Article

1 tulosta

Suodatin

2024
A Framework for the Generation of Monitor and Plant Model from Event Logs Using Process Mining for Formal Verification of Event-Driven Systems
Xavier, M., Dubinin, V., Patil, S. & Vyatkin, V., 21 kesäk. 2024, julkaisussa: IEEE Open Journal of the Industrial Electronics Society. 5, s. 517-534 18 Sivumäärä
Tutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu

Open access
Tiedosto
7 Lataukset (Pure)