Author: Ann E. Kelley Sobel
Publication Overview
Publication period start: 2002
Number of co-authors: 4
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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