T. S. Hughes

According to our database¹, T. S. Hughes authored at least 4 papers between 1990 and 1994.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1994

Making formal specifications accessible through the use of animation prototyping.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 1994

1993

Animation prototyping of real-time embedded systems.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 1993

1992

Animation prototyping of formal specifications.

[BibT_eX]

[DOI]

PhD thesis, 1992

1990

Animation prototyping of formal specifications of real-time systems.

[BibT_eX]

[DOI]

Microprocessing and Microprogramming, 1990