𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Consistency and satisfiability of waveform timing specifications

✍ Scribed by J. A. Brzozowski; T. Gahlinger; F. Mavaddat

Book ID
102961604
Publisher
John Wiley and Sons
Year
1991
Tongue
English
Weight
773 KB
Volume
21
Category
Article
ISSN
0028-3045

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,

Synthesis of feedback systems with nonli
Synthesis of feedback systems with nonlinear time-varying uncertain plants to satisfy quantitative performance specifications
✍ Isaac Horowitz πŸ“‚ Article πŸ“… 1976 πŸ› Elsevier Science 🌐 English βš– 63 KB

Linear passive time-variable networks are investigated primarily through the u,se of distributional kernels as applied to the scattering matrix treated in the time domain. hTecessary and suficient conditions for passivity are obtained and the scattering matrix is shown to be a measure satisfying an