A formal specification of entrance system using contactless IC card
書誌事項
- タイトル
- A formal specification of entrance system using contactless IC card
- 著者
- Tatsuo Sumida et al.
収録刊行物
-
- Proceedings of the 7th International Workshop on Future Software Technologies
-
Proceedings of the 7th International Workshop on Future Software Technologies 2005