Searching for authors named "Amer Saeed" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Information Structures for Traceability for Dependable Avionic Systems
- …# ############################################################################ ######################################################################### ############################################################################## ####################################################################…
- Cited by 1 (0 self) – Add To MetaCart
-
Validating Formal Verification using Safety Analysis Techniques
- … Validating Formal Verification using Safety Analysis Techniques Rogrio de Lemos and Amer Saeed Department…
- Cited by 2 (0 self) – Add To MetaCart
-
Formal Specification of an Aerospace System: The Attitude Monitor
- …, John Fitzgerald, John McDermid, Lynn Spencer, Amer Saeed January 23, Chapter 1 Formal Specification…
- Cited by 1 (1 self) – Add To MetaCart
-
Analysis of Safety Requirements for Process Control Systems
- … and Amer Saeed University of Newcastle upon Tyne Abstract. An essential basis for the development…
- Cited by 5 (0 self) – Add To MetaCart
-
On the Integration of Requirements Analysis and Safety Analysis
- … Rogdrio de Lemos, Amer Saeed and Tom Anderson Department of Computing Science University of Newcastle…
- Add To MetaCart
Showing 1 through 5.
