skip to main content
Show Results with:

9 results  for Everything in this catalogue

Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Article
Add to My workspace

Live Blackboxes: Requirements for Tracking and Verifying Aircraft in Motion (AIAA 2017-0884)

Yu, Yijun; Yang, Mu; Nuseibeh, Bashar

Papers American Institute of Aeronautics and Astronautics. Papers 1135-1377 (2017); pp 693-704 -- AIAA

Check library holdings

2
Material Type:
Article
Add to My workspace

On the Interplay Between Cyber and Physical Spaces for Adaptive Security

Tsigkanos, Christos et al.

IEEE transactions on dependable and secure computing. Volume 15:Issue 3 (2018); pp 466-480 -- IEEE Computer Society

Check library holdings

3
Material Type:
Article
Add to My workspace

Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems

Tsigkanos, Christos|Pasquale, Liliana|Ghezzi, Carlo|Nuseibeh, Bashar

Proceedings... International Conference on Software Engineering -- Institute of Electrical and Electronics Engineers -- Volume: 37 Part: 2; (pages 729-732) -- 2015

Check library holdings

4
Material Type:
Article
Add to My workspace

Adaptive evidence collection in the cloud using attack scenarios

Pasquale, Liliana et al.

Elsevier -- 2016

Online access

5
Material Type:
Article
Add to My workspace

Adaptive evidence collection in the cloud using attack scenarios

Pasquale, Liliana et al.

Computers & security. Issue 59 (2016, June); pp 236-254 -- Elsevier

Online access

6
Software process modelling and technology / edited by Anthony Finkelstein, Jeff Kramer and Bashar Nuseibeh.
Material Type:
Book
Add to My workspace

Software process modelling and technology / edited by Anthony Finkelstein, Jeff Kramer and Bashar Nuseibeh.

Taunton : Research Studies Press, c1994.

Check library holdings

7
Software process modelling and technology / edited by Anthony Finkelstein, Jeff Kramer and Bashar Nuseibeh.
Material Type:
Book
Add to My workspace

Software process modelling and technology / edited by Anthony Finkelstein, Jeff Kramer and Bashar Nuseibeh.

Taunton : Research Studies Press, c1994.

Check library holdings

8
Material Type:
Book
Add to My workspace

Managing inconsistencies in an evolving specification.

Steve Easterbrook

University of Sussex, 1994.

Check library holdings

9
Material Type:
Book
Add to My workspace

Using ViewPoints for inconsistency management.

Steve Easterbrook

University of Sussex, 1996.

Check library holdings

9 results  for Everything in this catalogue

Refine Search Results

Material type 

  1. Articles  (5)
  2. Books  (4)
  3. Refine further open sub menu

Creation date 

From To
  1. Before1996  (3)
  2. 1996To2014  (1)
  3. 2015To2015  (1)
  4. 2016To2017  (3)
  5. After 2017  (1)
  6. Refine further open sub menu

Additional Features 

  1. Abstract  (2)
  2. No Abstract  (3)
  3. Refine further open sub menu

Searching Remote Databases, Please Wait