BibSonomy :: author :: Ho-Stuart ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(14)

<< < 1 > >>

Congruent Weak Bisimulation with Dense Real-Time.
Chris Ho-Stuart, Hussein S. M. Zedan, and Ming Fang Inf. Process. Lett. 46(2):55-61 (1993)
to dblp by dblp on Jul 8, 2011, 12:00 AM
URL | BibTeX
Negotiable Interfaces for Components.
Simon D. Kent, Chris Ho-Stuart, and Paul Roe Journal of Object Technology 1(3):249-265 (2002)
to dblp by dblp and 1 other user on Nov 19, 2010, 12:00 AM
URL | BibTeX
Automated support for the formal specification and design of real-time systems.
Chris Ho-Stuart, Hussein Zedan, and Ming Fang Microprocessing and Microprogramming 38(1-5):79-86 (1993)
to dblp by dblp on Sep 22, 2009, 12:00 AM
URL | BibTeX
Current Issues in Software Internationalisation
James H. Hogan, Chris Ho-Stuart, and Binh Pham Proc. Australian Computer Science Conference, Adelaide, (2003)
to computer by diego_ma on Dec 14, 2007, 2:40 AM
URL | BibTeX
Negotiable Interfaces for Components
Simon D. Kent, Chris Ho-Stuart, and Paul Roe Proceedings of the Fourth Australasian Workshop on Software and Systems Architectures, Melbourne, Australia, DSTC, (February 2002)
to imported by snowball and 1 other user on Mar 9, 2006, 8:15 AM
BibTeX
A sense of touch in online sculpting.
Ian Creighton, and Chris Ho-Stuart GRAPHITE, page 118-122. ACM, (2004)
to dblp by dblp on Feb 15, 2006, 12:00 AM
URL | BibTeX
A model for timed-probabilistic behaviors.
Ming Fang, Hussein S. M. Zedan, and Chris Ho-Stuart Journal of Systems and Software 28(3):239-251 (1995)
to dblp by dblp on Feb 1, 2006, 12:00 AM
URL | BibTeX
Developing and Delivering a Software Internationalisation Subject.
Tony Sahama, Chris Ho-Stuart, and James M. Hogan ACSW Frontiers, volume 32 of CRPIT, page 199-204. Australian Computer Society, (2004)
to dblp by dblp on Apr 18, 2005, 12:00 AM
URL | BibTeX
Key Challenges in Software Internationalisation.
James M. Hogan, Chris Ho-Stuart, and Bihn Pham ACSW Frontiers, volume 32 of CRPIT, page 187-194. Australian Computer Society, (2004)
to dblp by dblp on Apr 18, 2005, 12:00 AM
URL | BibTeX
SOFL: A Formal Engineering Methodology for Industrial Applications.
Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart, Yong Sun, and Mitsuru Ohba IEEE Trans. Software Eng. 24(1):24-45 (1998)
to dblp by dblp on Oct 14, 2004, 12:00 AM
URL | BibTeX
Semi-automatic Transformation from Formal Specifications to Programs.
Shaoying Liu, and Chris Ho-Stuart ICECCS, page 506-513. IEEE Computer Society, (1996)
to dblp by dblp on Apr 29, 2004, 12:00 AM
URL | BibTeX
A Formal Operational Semantics for SOFL.
Chris Ho-Stuart, and Shaoying Liu APSEC, page 52-61. IEEE Computer Society, (1997)
to dblp by dblp on Sep 19, 2003, 12:00 AM
URL | BibTeX
Testing and Refinement for Nondeterministic and Probabilistic Processes.
Bengt Jonsson, Chris Ho-Stuart, and Wang Yi FTRTFT, volume 863 of Lecture Notes in Computer Science, page 418-430. Springer, (1994)
to dblp by dblp on Nov 18, 2002, 12:00 AM
URL | BibTeX
Specification of Real-Time Probabilistic Behaviour.
Ming Fang, Chris Ho-Stuart, and Hussein S. M. Zedan PSTV, volume C-16 of IFIP Transactions, page 143-157. North-Holland, (1993)
to dblp by dblp on Jan 3, 2002, 12:00 AM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100