Thumbnail
Access Restriction
Open

Author Gonzalia, C. ♦ Mciver, A.
Source CiteSeerX
Content type Text
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Partiallyspecified System ♦ Major Benefit ♦ Probabilistic System Design ♦ Small Case Study ♦ Linear Sat Solver ♦ Refinement Proof ♦ Linear Satisfiability Problem ♦ Overall Probabilistic Behaviour ♦ Top-down Style ♦ Probabilistic System Proof ♦ Partial Support ♦ Refinement Checking ♦ Crucial Role ♦ Small Model ♦ Probabilistic Refinement ♦ Refinement Calculus ♦ Tank Monitoring ♦ Challenging Task
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Institution LNCS, 2007. Proceedings of ICFEM 2007