Formal development of remote interfaces for large- scale real-time systems

The design of web-based user interfaces is of primary importance for achieving successful operation of Internet-based monitoring and control systems. Operators need to be able IO act promptly on changing situations requiring remote actions to process plants. A formal development process is proposed...

Full description

Saved in:
Bibliographic Details
Main Authors: Walter Hussak, Shuang-Hua Yang
Format: Default Conference proceeding
Published: 2004
Subjects:
Other information and computing sciences not elsewhere classified
Remote interfaces
Control systems
Model checking
Concurrency
Information and Computing Sciences not elsewhere classified
Online Access:https://hdl.handle.net/2134/4128
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://hdl.handle.net/2134/4128

Similar Items