Author: Ann E. Kelley Sobel
Publications
Co-authors
Productive Colleagues
Publications
Alves-Foss, Jim, Sobel, Ann E. Kelley (1999): Formal Methods and Industry - Introduction. In: HICSS 1999 , 1999, . https://csdl.computer.org/comp/proceedings/hicss/1999/0001/03/00013048abs.htm
Hevner, Alan R., Linger, Richard C., Sobel, Ann E. Kelley, Walton, Gwendolyn H. (2002): The Flow-Service-Quality Framework: Unified Engineering for Large-Scale, Adaptive Systems. In: HICSS 2002 , 2002, . pp. 278. https://csdl.computer.org/comp/proceedings/hicss/2002/1435/09/14350278babs.htm
Sobel, Ann E. Kelley (1998): Formal Requirements Specification Analysis of Attitude Control of the International Space . In: HICSS 1998 , 1998, . pp. 348-355. https://csdl.computer.org/comp/proceedings/hicss/1998/8239/03/82390348abs.htm
Sobel, Ann E. Kelley (1999): Security Analysis of Tramel. In: HICSS 1999 , 1999, . https://csdl.computer.org/comp/proceedings/hicss/1999/0001/03/00013063abs.htm
Sobel, Ann E. Kelley, Linger, Richard C. (2000): Advances in Software Specification and Verification - Introduction. In: HICSS 2000 , 2000, . https://csdl.computer.org/comp/proceedings/hicss/2000/0493/04/04934002abs.htm
Sobel, Ann E. Kelley, Linger, Richard C. (2001): Advances in Software Specification and Verification - Minitrack Introduction. In: HICSS 2001 , 2001, . https://csdl.computer.org/comp/proceedings/hicss/2001/0981/09/09819067abs.htm
Sobel, Ann E. Kelley, Linger, Richard C. (2002): Minitrack Introduction. In: HICSS 2002 , 2002, . pp. 275. https://csdl.computer.org/comp/proceedings/hicss/2002/1435/09/14350275abs.htm