Kazuo Takaragi

Available identifiers

zbMath Open takaragi.kazuoMaRDI QIDQ877155

List of research outcomes

Publication	Date of Publication	Type
Generalized powering functions and their application to digital signatures	2010-01-05	Paper
Verifying a signature architecture: a comparative case study	2007-04-19	Paper
FM 2005: Formal Methods	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q3046354	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4411551	2003-07-09	Paper
A Probability Bound Estimation Method in Markov Reliability Analysis	1985-01-01	Paper
A Method of Rapid Markov Reliability Calculation	1985-01-01	Paper
An Algorithm for Obtaining Simplified Prime Implicant Sets in Fault-Tree and Event-Tree Analysis	1983-01-01	Paper
An Improved Moment-Matching Algorithm for Evaluating Top-Event Probability Bounds	1982-01-01	Paper

Research outcomes over time

This page was built for person: Kazuo Takaragi