Teruo Higashino

Available identifiers

zbMath Open higashino.teruoMaRDI QIDQ856740

List of research outcomes

Publication	Date of Publication	Type
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets	2020-12-04	Paper
Deriving protocol specifications from service specifications written in LOTOS	2020-12-02	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2003	2010-05-26	Paper
Deriving protocol specifications from service specifications written as Predicate/Transition-nets	2006-12-07	Paper
Automated Technology for Verification and Analysis	2006-10-25	Paper
A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA	2006-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q3044658	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q3044804	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q3044908	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4808856	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4407370	2003-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q4503970	2000-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4937187	2000-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4703895	1999-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q4253344	1999-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q4253352	1999-11-02	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Teruo Higashino