✦ LIBER ✦

Verification Real-Time Image Acquisition System (VERITAS)

✍ Scribed by Rottmann, J.; Kozono, D.; Mak, R.; Chen, A.; Hacker, F.L.; Berbeco, R.I.

Book ID: 126975001
Publisher: Elsevier Science
Year: 2014
Tongue: English
Weight: 73 KB
Volume: 90
Category: Article
ISSN: 0360-3016
DOI: 10.1016/j.ijrobp.2014.05.2541

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Real-Time Protein Crystallization Image

Real-Time Protein Crystallization Image Acquisition and Classification System

✍ Sigdel, Madhav; Pusey, Marc L.; Aygun, Ramazan S. 📂 Article 📅 2013 🏛 American Chemical Society 🌐 English ⚖ 853 KB

Real-Time Systems || Verification Using

Real-Time Systems || Verification Using Timed Automata

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 192 KB 👁 2 views

Finite automata and temporal logics have been used extensively to formally verify qualitative properties of concurrent systems. The properties include deadlock-or livelock-freedom, the eventual occurrence of an event, and the satisfaction of a predicate. The need to reason with absolute time is unne

Real-Time Systems || Analysis and Verifi

Real-Time Systems || Analysis and Verification of Non-Real-Time Systems

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 279 KB 👁 2 views

Real-time MR fluoroscopic data acquisiti

Real-time MR fluoroscopic data acquisition and image reconstruction

✍ Ronald C. Wright; Stephen J. Riederer; Farhad Farzaneh; Phillip J. Rossman; Yu L 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 460 KB

Efficient Verification of Parallel Real–

Efficient Verification of Parallel Real–Time Systems

✍ Tomohiro Yoneda; Bernd–Holger Schlingloff 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 452 KB

Formal verification of real-time systems

Formal verification of real-time systems with

✍ Didier Lime; Olivier (H. ) Roux 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 713 KB