Teruo Higashino

From MaRDI portal
Person:856740

Available identifiers

zbMath Open higashino.teruoMaRDI QIDQ856740

List of research outcomes





PublicationDate of PublicationType
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets2020-12-04Paper
Deriving protocol specifications from service specifications written in LOTOS2020-12-02Paper
Decomposing service definition in predicate/transition-nets for designing distributed systems2010-05-26Paper
Deriving protocol specifications from service specifications written as Predicate/Transition-nets2006-12-07Paper
Automated Technology for Verification and Analysis2006-10-25Paper
A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA2006-08-21Paper
https://portal.mardi4nfdi.de/entity/Q30449082004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q30446582004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q30448042004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q48088562004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44073702003-06-29Paper
https://portal.mardi4nfdi.de/entity/Q45039702000-09-14Paper
https://portal.mardi4nfdi.de/entity/Q49371872000-02-03Paper
https://portal.mardi4nfdi.de/entity/Q47038951999-12-01Paper
https://portal.mardi4nfdi.de/entity/Q42533441999-11-08Paper
https://portal.mardi4nfdi.de/entity/Q42533521999-11-02Paper

Research outcomes over time

This page was built for person: Teruo Higashino

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