Your search returned 2 results.

Sort
Results
Designing an Agent Synthesis Systedm for Cross-Rpc Communication by
  • Huang, Yen-Min
  • Ravishankar, Chinya V
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Constructive Protocol Specification Using Cicerro by
  • Huang, Yen-Min
  • Ravishankar, Chinya V
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Pages