Search
Now showing items 1-1 of 1
Real-Time Software Development with Formal Models
Publisher: American Society of Civil Engineers
Abstract: Improvements in microprocessor technology have prompted a willingness to embed computer hardware in structural and mechanical systems. Active structural control is one such application in which computer-based sensors and ...