A Balancing Act: Analyzing a Distributed Lift System (2001)

Cached

Download Links

by Jan Friso Groote , Jun Pang , Arno Wouters
Venue:IN S. GNESI AND U. ULTES-NITSCHE, EDS, PROCEEDINGS 6TH WORKSHOP ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS'2001
Citations:8 - 3 self