M. Shio

From MaRDI portal
Person:2703754

Available identifiers

zbMath Open shio.masayukiMaRDI QIDQ2703754

List of research outcomes





PublicationDate of PublicationType
Formal verification and evaluation of execution time in the envelope theory2024-06-21Paper
https://portal.mardi4nfdi.de/entity/Q31727372011-10-05Paper
Labeled calculi applied to verification and analysis of time-concerned programs. I2011-07-18Paper
https://portal.mardi4nfdi.de/entity/Q36265672009-05-22Paper
Labeled @-Calculus: Formalism for Time-Concerned Human Factors2009-01-15Paper
https://portal.mardi4nfdi.de/entity/Q47973742003-03-13Paper
Representation of a discretely controlled continuous system in tense arithmetic2001-05-08Paper

Research outcomes over time

This page was built for person: M. Shio

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