Theses, Dept. of Informatics : [6] Collection home page

When downloading papers please observe the normal copyright codes and conventions for their use.

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 6 of 6
First PublishedTitleAuthor(s)Type
5-Jul-2017The Domain Name System Advisor, A Model-Based Quality Assurance FrameworkRadwan, Marwan Mohammed MahmoudThesis
31-Jul-2017Modelling and Analysing Adaptive Networks: From Graph Transformation System to Ordinary Differential EquationHussein, Mudhafar SaberThesis
26-Apr-2017Inferring Visual Contracts from Java ApplicationsAlshanqiti, Abdullah Mahfodh M.Thesis
7-Mar-2017Graph Transformation Games for Negotiating FeaturesAlabdullatif, Mohammed Abdulrahman AhmedThesis
9-Mar-2017Modelling, Realisations and Limitations of Concurrent Delay-Insensitive NetworksMorrison, DanielThesis
30-Sep-2016Recurrent Sets for Non-Termination and Safety of ProgramsBakhirkin, AlexeyThesis
Collection's Items (Sorted by Submit Date in Descending order): 1 to 6 of 6