The following pages link to Norio Shiratori (Q209149):
Displaying 17 items.
- Extension of synthesis algorithm of recursive processes to \(\mu\)-calculus (Q1350215) (← links)
- Inductive synthesis of recursive processes from logical properties (Q1854392) (← links)
- (Q3044785) (← links)
- (Q3044820) (← links)
- (Q3044858) (← links)
- (Q3044864) (← links)
- (Q3044905) (← links)
- An Error Detection Method for Recursive Processes for LOTOS Instruction and Its Support System. (Q4267096) (← links)
- (Q4427289) (← links)
- (Q4470566) (← links)
- On a Decision-Making Mechanism of an Intelligent Shopping Agent (Q4784433) (← links)
- (Q4871678) (← links)
- (Q4937831) (← links)
- (Q4937837) (← links)
- (Q4937846) (← links)
- (Q4937863) (← links)
- An agent architecture for strategy-centric adaptive QoS control in flexible videoconference system (Q5946219) (← links)
