✦ LIBER ✦

A symbolic manipulator for automated verification of reactive systems with heterogeneous data types

✍ Scribed by Tuba Yavuz-Kahveci; Tevfik Bultan

Publisher: Springer
Year: 2002
Tongue: English
Weight: 404 KB
Volume: 5
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s10009-002-0091-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Symbol calculus and Fredholmness for a B

Symbol calculus and Fredholmness for a Banach algebra of convolution type operators with slowly oscillating and piecewise continuous data

✍ Maria Amélia Bastos; António Bravo; Yuri Karlovich 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 358 KB

## Abstract A symbol calculus for the smallest Banach subalgebra 𝒜~[__SO,PC__]~ of the Banach algebra ℬ︁(__L^n^~p~__(ℝ)) of all bounded linear operators on the Lebesgue spaces __L^n^~p~__(ℝ) (1 < __p__ < ∞, __n__ ≥ 1) which contains all the convolution type operators __W~a,b~__ = __a__ℱ^−1^__b__ℱ w

An automatic-repeat request policy for a

An automatic-repeat request policy for a data transmission system with three types of error probabilities

✍ Kazumi Yasui; Toshio Nakagawa; Hiroaki Sandoh 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 535 KB

“Living with electronic data interchange

“Living with electronic data interchange: Implementation and practical applications for EDI from the perspective of the ILS vendor, the librarian, and the book vendor,” a report from the ALCTS, automated acquisitions/in-process control systems discussion group session at the ALA midwinter conference, January 1996

✍ Michele Crump 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 235 KB