Diyaa-Addein Atiya

List of publications from the DBLP Bibliography Server - FAQ

2005

3 EE Diyaa-Addein Atiya, Steve King: Extending Ravenscar with CSP Channels. Ada-Europe 2005: 79-90

2 EE Diyaa-Addein Atiya, Steve King, Jim Woodcock: Simpler Reasoning About System Properties: a Proof-by-Refinement Technique. Electr. Notes Theor. Comput. Sci. 137(2): 5-22 (2005)

2003

1 EE Diyaa-Addein Atiya, Steve King, Jim Woodcock: A Circus Semantics for Ravenscar Protected Objects. FME 2003: 617-635

2005
3	EE	Diyaa-Addein Atiya, Steve King: Extending Ravenscar with CSP Channels. Ada-Europe 2005: 79-90
2	EE	Diyaa-Addein Atiya, Steve King, Jim Woodcock: Simpler Reasoning About System Properties: a Proof-by-Refinement Technique. Electr. Notes Theor. Comput. Sci. 137(2): 5-22 (2005)
2003
1	EE	Diyaa-Addein Atiya, Steve King, Jim Woodcock: A Circus Semantics for Ravenscar Protected Objects. FME 2003: 617-635

Coauthor Index

1 Steve King [1] [2] [3]

2 Jim Woodcock (J. C. P. Woodcock) [1] [2]

1	Steve King	[1] [2] [3]
2	Jim Woodcock (J. C. P. Woodcock)	[1] [2]