Modelling the Active Badge System

Date:

Jan 1 2003

author:

Steven Xu

Queen's University at Kingston

Alloy is used to model aspects of the Active Badge System -- a system that allows locating people carrying an Active Badge in a building.

Attachment	Size
ActiveBadgeInAlloy.pdf	292.09 KB
ActiveBadgeSystem.als	8.39 KB

by anonymous

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte

Search