The list of publications of Prof. Dr. Mohamed Jmaiel
by Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel
Reference:
Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel, From AADL Model to LNT Specification, In Reliable Software Technologies Ada-Europe 2015 (Juan Antonio de la Puente, Tullio Vardanega, eds.), Springer International Publishing, volume 9111, 2015.
Bibtex Entry:
@inproceedings{HMBZJHMJ:RST2015,
year={2015},
isbn={978-3-319-19583-4},
booktitle={Reliable Software Technologies Ada-Europe 2015},
volume={9111},
series={Lecture Notes in Computer Science},
editor={de la Puente, Juan Antonio and Vardanega, Tullio},
doi={10.1007/978-3-319-19584-1_10},
title={From AADL Model to LNT Specification},
publisher={Springer International Publishing},
keywords={AADL; LNT; Distributed real-time systems; Architecture description languages; Model transformation; Specification languages; Formal verification},
author={Mkaouar, Hana and Zalila, Bechir and Hugues, Jérôme and Jmaiel, Mohamed},
pages={146-161}
}ReDCAD
National School of Engineering of Sfax
www.enis.rnu.tn
University of Sfax, Tunisia
www.uss.rnu.tn
Contact
Prof. Dr. Eng. Mohamed Jmaiel
Email: mohamed.jmaiel@enis.rnu.tnWeb: www.redcad.org/members/jmaiel
Phone: +216 74 666 578
Address
National School of Engineers of Sfax
Department of Computer Science and Applied Mathematics
ReDCAD Laboratory
B.P. 1173, 3038 Sfax, Tunisia