A Healthcare Case Study

Luigia Petre, Elena Troubitsyna, Marina Walden

Research output: Chapter in Book/Conference proceedingConference contributionScientific

Original languageEnglish
Title of host publicationProceedings of RCS'02 - International workshop on Refinement of Critical Systems: Methods, Tools and Experience
Place of PublicationGrenoble, France
Publication statusPublished - 2002
MoE publication typeB3 Non-refereed article in conference proceedings

Cite this