The Open UniversitySkip to content
 

Open Research Online
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: Electronic Notes in Theoretical Computer Science, 70(3) 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. file

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 Sat May 26 22:17:47 2018 BST.

Policies | Disclaimer

© The Open University   contact the OU