Login / Signup
Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset.
Thai Son Hoang
Colin F. Snook
Asieh Salehi Fathabadi
Michael J. Butler
Lukas Ladenberger
Published in:
Sci. Comput. Program. (2018)
Keyphrases
</>
functional requirements
design principles
computer aided
development process
design decisions
design space
requirements engineering
design criteria
real time
data mining
search engine
end users
software architecture
user requirements
requirements analysis