Dianxiang Xu

From MaRDI portal
Person:1907064

Available identifiers

zbMath Open xu.dianxiangMaRDI QIDQ1907064

List of research outcomes





PublicationDate of PublicationType
Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets2017-05-16Paper
A tool for automated test code generation from high-level Petri nets2011-06-29Paper
A formal model-based approach for developing an interoperable mobile agent system2007-06-08Paper
https://portal.mardi4nfdi.de/entity/Q45168852001-03-06Paper
Logical object as a basis of knowledge based systems1996-01-28Paper

Research outcomes over time

This page was built for person: Dianxiang Xu

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