𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Methods of Measuring the Spectral Characteristics and Identifying the Components of Grain Mixtures in Real-Time Separation Systems

✍ Scribed by Algazinov, E. K.; Dryuchenko, M. A.; Minakov, D. A.; Sirota, A. A.; Shul’gin, V. A.

Book ID
125365936
Publisher
Springer US
Year
2014
Tongue
English
Weight
286 KB
Volume
57
Category
Article
ISSN
0543-1972

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form
[Lecture Notes in Computer Science] Formal Methods for the Design of Real-Time Systems Volume 3185 || Real Time and Stochastic Time
✍ Bernardo, Marco; Corradini, Flavio 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 727 KB

A Large Class Of Computing Systems Can Be Speci?ed And Veri?ed By Abstracting Away From The Temporal Aspects Of Their Behavior. Inreal-timesystems,instead, Time Issues Become Essential. Their Correctness Depends Not Only On Which - Tions They Can Perform, But Also On The Action Execution Time. Due T