𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Real-Time Watershed Delineation System Using Web-GIS

✍ Scribed by Choi, Jin-Yong; Engel, Bernard A.


Book ID
120644414
Publisher
American Society of Civil Engineers
Year
2003
Tongue
English
Weight
609 KB
Volume
17
Category
Article
ISSN
0887-3801

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Real-Time Systems || Verification Using
✍ 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 VLBI system using ATM network
✍ Kiuchi, H.; Imae, M.; Kondo, T.; Sekido, M.; Hama, S.; Hoshino, T.; Uose, H.; Ya πŸ“‚ Article πŸ“… 2000 πŸ› IEEE 🌐 English βš– 525 KB