Consumer Electronics Opportunities in Remote and Home Healthcare

Authors: Simons, David P.L.

Source: 2008 Digest of Technical Papers - International Conference on Consumer Electronics Consumer Electronics, 2008. ICCE 2008. Digest of Technical Papers. International Conference on. :1-2 Jan, 2008

Relation: 2008 International Conference on Consumer Electronics (ICCE)

Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k.

Authors: Simons, David P.L., Stoelinga, Mariëlle I.A.

Source: International Journal on Software Tools for Technology Transfer; Sep2001, Vol. 3 Issue 4, p469-485, 17p