MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Timed Communicating Object Z." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 27 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Timed Communicating Object Z  
  • by Brendan Mahony, Jin Song Dong — 2000 — IEEE Transactions on Software Engineering
  • …Timed Communicating Object Z Brendan Mahony and Jin Song Dong y Abstract This paper describes…
  • Cited by 32 (13 self) – Add To MetaCart
  • Network Topology and a Case Study in TCOZ  
  • by Brendan Mahony, Jin Song Dong — 1998 — The 11th International Conference of Z Users, volume 1493 of Lecture Notes in Computer Science
  • … and concurrent systems. The Timed Communicating Object-Z (TCOZ) extends Object-Z notation with Timed CSP…
  • Cited by 8 (4 self) – Add To MetaCart
  • Active Objects in TCOZ  
  • by Jin Song Dong, Brendan Mahony — 1998 — the 2nd IEEE International Conference on Formal Engineering Methods (ICFEM'98
  • …. In Object-Z, all objects are modelled as passive objects. Timed Communicating Object Z (TCOZ) extends…
  • Cited by 10 (4 self) – Add To MetaCart
  • Sensors and Actuators in TCOZ  
  • by Brendan Mahony Jin, Jin Song Dong — 1999 — FM’99: World Congress on Formal Methods, Lect. Notes in Comput. Sci
  • … of Computing, National University of Singapore, dongjs@(email omitted); Abstract. Timed Communicating Object Z…
  • Add To MetaCart
  • A XML/XSL Approach to Visualize and Animate TCOZ  
  • by Jing Sun, Jin Song Dong, Jing Liu, Hai Wang
  • … objects Ø�ÓÒÁØÓÒÐÝ�ÔÔ��Ö×�Ò�Ð�××��¬Ò�Ø�ÓÒÛ��ÒØ��Ó���Ø× Ù×��ØÓ��Ø�ÖÑ�Ò�Ø������Ú�ÓÙÖÓ��Ø�Ú�Ó���Ø×Ó����Ú�Ò Ó…
  • Cited by 4 (2 self) – Add To MetaCart
  • Sensors and Actuators in TCOZ  
  • by Brendan Mahony , Jin Song Dong — 1999 — FM’99: WORLD CONGRESS ON FORMAL METHODS, LECT. NOTES IN COMPUT. SCI
  • … of Computing, National University of Singapore, dongjs@(email omitted); Abstract. Timed Communicating Object Z…
  • Cited by 13 (3 self) – Add To MetaCart
  • Timed Patterns: TCOZ to Timed Automata  
  • by J. S. Dong, P. Hao, S. C. Qin, J. Sun, Y. Wang — 2004 — The 6th International Conference on Formal Engineering Methods (ICFEM’04
  • … yi@(email omitted); Abstract. The integrated logic-based modeling language, Timed Communicating Object Z…
  • Cited by 10 (5 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB