The Open UniversitySkip to content
 

Browse by Journal

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0 [Create Shortened URL] SURL
Group by: Published Date | Item Type | No Grouping
Jump to: 2005 | 2002
Number of items: 3.

2005

Hilton, Adrian and Hall, Jon G. (2005). Developing critical systems with PLD components. In: 10th International Workshop on Formal Methods for Safety Critical Systems, 2005, pp. 385–395.

Oliveira, Cristóvão; Wermelinger, Michel; Fiadeiro, José Luiz and Lopes, Antónia (2005). Modelling the GSM handover protocol in CommUnity. Electronic Notes in Theoretical Computer Science, 141(3) pp. 3–25.

2002

Hiltont, Adrian and Hall, Jon G. (2002). Refining specifications to programmable logic. Electronic Notes in Theoretical Computer Science, 70(3) pp. 385–395.

This list was generated on Thu Oct 23 17:30:33 2014 BST.

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk