Alongkrit Chutinan

From MaRDI portal
Person:4246809

Available identifiers

zbMath Open chutinan.alongkritMaRDI QIDQ4246809

List of research outcomes





PublicationDate of PublicationType
Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow2018-12-06Paper
Computational techniques for hybrid system verification2017-06-20Paper
https://portal.mardi4nfdi.de/entity/Q44737092004-08-04Paper
Verification of infinite-state dynamic systems using approximate quotient transition systems2002-07-21Paper
https://portal.mardi4nfdi.de/entity/Q49485472000-09-12Paper
https://portal.mardi4nfdi.de/entity/Q42468102000-01-12Paper
https://portal.mardi4nfdi.de/entity/Q42495651999-08-16Paper

Research outcomes over time

This page was built for person: Alongkrit Chutinan

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:4246809&oldid=11668416"
Powered by MediaWiki