thesis-info.tex

% ************************ Thesis Information & Meta-data **********************
%% The title of the thesis
\crest{\includegraphics[scale=0.15]{uga}}
\title{Formal Methods for Distributed Real-Time Systems}
%\title{Writing your PhD thesis in \texorpdfstring{\\ \LaTeX2e}{LaTeX2e}}
%\texorpdfstring is used for PDF metadata. Usage:
%\texorpdfstring{LaTeX_Version}{PDF Version (non-latex)} eg.,
%\texorpdfstring{$sigma$}{sigma}

%% Subtitle (Optional)
%\subtitle{Using the CUED template}

%% The full name of the author
\author{Dellabani Mahieddine}

%% Department (eg. Department of Engineering, Maths, Physics)
\dept{Laboratoire Verimag}

%% University and Crest
\university{Université Grenoble Alpes}

%% You can redefine the submission text:
% Default as per the University guidelines:
% ``This dissertation is submitted for the degree of''
%\renewcommand{\submissiontext}{change the default text here if needed}

%% Full title of the Degree
\degree{Doctor of Philosophy}

%% College affiliation (optional)
\college{Ecole Doctorale Mathématique, Sciences et Technologies de
l’Information, Informatique (MSTII)}
%% Submission date
% Default is set as {\monthname[\the\month]\space\the\year}
%\degreedate{September 2014} 

%% Meta information
%\subject{LaTeX} \keywords{{LaTeX} {PhD Thesis} {Engineering} {University of
%Cambridge}}