Summary: H. Giese (Ed.): MoDELS 2007 Workshops, LNCS 5002, pp. 118­131, 2008.
© Springer-Verlag Berlin Heidelberg 2008
Rigorously Defining and Analyzing Medical Processes:
An Experience Report
Stefan Christov1
, Bin Chen1
, George S. Avrunin1
, Lori A. Clarke1
,
Leon J. Osterweil1
, David Brown2
, Lucinda Cassells2
, and Wilson Mertens2
1
Laboratory for Advanced Software Engineering Research (LASER)
University of Massachusetts at Amherst, Amherst, MA 01003
{christov,chenbin,avrunin,clarke,ljo}@cs.umass.edu
2
D'Amour Center for Cancer Care, 3350 Main Street, Springfield, MA 01199
{david.brown,lucy.cassells,wilson.mertens}@bhs.org

Source: Avrunin, George S. - Department of Mathematics and Statistics, University of Massachusetts at Amherst

Collections: Mathematics