✦ LIBER ✦

Specification and design of concurrent control units

✍ Scribed by G. Klein-Hessling

Book ID: 107910444
Publisher: Elsevier Science
Year: 1992
Weight: 452 KB
Volume: 35
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(92)90295-i

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Interface-Based Specification and Verifi

Interface-Based Specification and Verification of Concurrency Controllers

✍ Aysu Betin-Can; Tevfik Bultan 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 939 KB

The specification and design of atomic a

The specification and design of atomic actions for fault tolerant concurrent software

✍ A.M. Tyrrell; G.F. Carpenter 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 321 KB

The design and specification of post-pro

The design and specification of post-processors for numerical control programming

✍ R.M. Sim 📂 Article 📅 1974 🏛 Elsevier Science 🌐 English ⚖ 525 KB

The role of the post-processor in computer programming systems for numerically controlled machines is described. Although many of the points discussed apply to the special purpose programs available, attention is concentrated on the position of the post-processor within the general purpose systems s

Efficient Logic Design of Reliable Contr

Efficient Logic Design of Reliable Control Units. III

✍ A. A. Mishchenko; A. T. Mishchenko 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 131 KB

Grammar controlled specification and des

Grammar controlled specification and design of program systems

✍ Lutz Pietschker 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 358 KB

Specification and validation of a concur

Specification and validation of a concurrent system: an educational project

✍ Gérard Berthelot; Laure Petrucci 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 215 KB