The following pages link to Teruo Higashino (Q856740):
Displaying 16 items.
- Deriving protocol specifications from service specifications written as Predicate/Transition-nets (Q856741) (← links)
- (Q3044658) (← links)
- (Q3044804) (← links)
- (Q3044908) (← links)
- (Q4253344) (← links)
- (Q4253352) (← links)
- (Q4407370) (← links)
- (Q4503970) (← links)
- (Q4703895) (← links)
- (Q4808856) (← links)
- (Q4937187) (← links)
- Deriving protocol specifications from service specifications written in LOTOS (Q5137326) (← links)
- Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets (Q5138481) (← links)
- Automated Technology for Verification and Analysis (Q5394188) (← links)
- A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA (Q5484905) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900960) (← links)
