Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: D

Number of items: 1.

D

da Silva Brito, Patrick Henrique and de Lemos, Rogério and Fischer Rubira, Cecilía Mary (2008) Verification of Exception Control Flows and Handlers Based on Architectural Scenarios. In: 2008 11th IEEE High Assurance Systems Engineering Symposium. IEEE, pp. 177-186. ISBN 978-0-7695-3482-4. (doi:10.1109/HASE.2008.11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:32080)

This list was generated on Fri Apr 26 22:55:29 2024 BST.