T. G. Churina

From MaRDI portal
Person:220099

Available identifiers

zbMath Open churina.t-gMaRDI QIDQ220099

List of research outcomes





PublicationDate of PublicationType
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets2009-09-04Paper
Application of Petri nets in verification of distributed systems represented in the Estelle language2005-09-23Paper
Verification of Estelle-specified communication protocols using high-level Petri nets2002-01-06Paper
https://portal.mardi4nfdi.de/entity/Q45173852000-11-21Paper
https://portal.mardi4nfdi.de/entity/Q45170422000-11-20Paper

Research outcomes over time

This page was built for person: T. G. Churina

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