A Specification for Underground Tank Monitoring System (UTMS) Using Real-Time Process Algebra (RTPA).
Thanh Phuong NguyenNgoc Binh NguyenPublished in: RIVF (2004)
Keyphrases
- monitoring system
- water level
- code generator
- behavioral models
- code generation
- health monitoring
- heterogeneous wireless sensor networks
- architectural models
- process model
- conceptual model
- high level
- formal specification
- dynamic behaviors
- control system
- formal methods
- application development
- distributed systems
- computational intelligence
- sensor networks