embedded systems ()

Projects

Feasibility Study for ISS Ltd
IIDI are working with Intelligent Storage Solutions through an Innovation Voucher

Members

Frank Greig
Lecturer
f.greig@napier.ac.uk
+44 131 455 2755

Publications

Kerridge, J. (2004). Active Serial Port: A Component for JCSP.net Embedded Systems. In: East, I., Martin, J., Welch, Peter H., Duce, D., Green, M. (Eds.) Communicating Process Architectures 2004, WoTUG-27, () (WoTUG-27 ed.). (pp. 85-98). : . IOS Press.

Chen, Z., Cau, A., Zedan, H., Liu, X., Yang, H. (1998). A Refinement Calculus for the Development of Real-time Systems. In: (Ed.) 5th Asia Pacific Software Engineering Conference, APSEC '98, , () (December ed.). (pp. ). Taipei, Taiwan: . .