𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Improved frequency measurement by means of DMM and verification of its specifications

✍ Scribed by Hlupic, N.; Butorac, J.; Kresic, M.

Book ID
114629971
Publisher
IEEE
Year
2005
Tongue
English
Weight
320 KB
Volume
54
Category
Article
ISSN
0018-9456

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Semantic verification and satisfiability
Semantic verification and satisfiability verification of MSC specifications by means of Petri nets in telecommunication software testing
✍ Naomoto Kato; Yoshiaki Shigeta; Wataru Tanaka; Haruo Hasegawa πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 230 KB πŸ‘ 1 views

This paper discusses the testing of communication system software, focusing on the semantic verification of specifications. Specifications are defined using message sequence charts (MSC) recommended by the ITU-T. Assuming an MSC-based scenario for which operational system specifications are defined,