Current Position
PhD student, National School of Engineering of Sfax-Tunisia
Education
Engineer degree in Computer Science from the National School of Engineering of Sfax-Tunisia, in 2013.
Address
National School of Engineering of Sfax (ENIS)
Department of the Computer Science and Applied Mathematics (DGIMA)
Route de Soukra Km 4, PB 1173, Sfax-Tunisie
Email : mkaouar.hana@gmail.com
Research activities
Research Topics
My current research focuses on formal validation and verification for Distributed Real Time systems.
Publications
International Conference Papers
Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel:
From AADL Model to LNT Specification. Ada-Europe 2015: 146-161.[DOI]