Ken Turner - Online Publications

Publications logo

These papers are available for downloading. A list of BibTeX entries is available should you wish to cite any of these. For convenient access, papers have been grouped by subject although there is considerable overlap among these. Within each subject, papers are listed by author and date.


Cyan dot Architecture Description and Specification Architecture
Cyan dot Distributed Systems and (Tele)Communications
Cyan dot E-Science
Cyan dot Formal Description Techniques and Formal Methods
Cyan dot Hardware Description and Validation
Cyan dot Medical Informatics and Telecare
Cyan dot Requirements Specification
Cyan dot Miscellaneous

See the Computing Science and Mathematics Technical Reports for additional papers.

Information about my edited books is also available:


Service Provision - Technologies for Next Generation Communications Systems
Using Formal Description Techniques

Up one level to Ken Turner - Research Activities

Web Ken Turner Home   Email    Search Search Web Pages

Last Update: 24th July 2018
URL: https://www.cs.stir.ac.uk/~kjt/research/publications.html