Hirozumi Yamaguchi

From MaRDI portal
Person:856738

Available identifiers

zbMath Open yamaguchi.hirozumiMaRDI QIDQ856738

List of research outcomes





PublicationDate of PublicationType
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets2020-12-04Paper
Formal Techniques for Networked and Distributed Systems - FORTE 20032010-05-26Paper
Deriving protocol specifications from service specifications written as Predicate/Transition-nets2006-12-07Paper

Research outcomes over time

This page was built for person: Hirozumi Yamaguchi

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