"Analyzing Medical Processes" by B Chen

Selected Works of Leon Osterweil

Follow Contact

Article

Analyzing Medical Processes

ICSE'08 Proceedings of the Thirtieth International Conference on Software Engineering (2008)

B Chen
LA Clarke
GS Avrunin
LJ Osterweil
EA Henneman
PL Henneman

Link

Keywords

Finite-state verification,
Model checking,
Medical processes,
Property specifications

Disciplines

Computer Sciences

Publication Date

January 1, 2008

Citation Information

B Chen, LA Clarke, GS Avrunin, LJ Osterweil, et al.. "Analyzing Medical Processes" ICSE'08 Proceedings of the Thirtieth International Conference on Software Engineering (2008)
Available at: http://works.bepress.com/leon_osterweil/9/