Hana Mkaouar

According to our database1, Hana Mkaouar authored at least 3 papers between 2015 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
A formal approach to AADL model-based software engineering.
Int. J. Softw. Tools Technol. Transf., 2020

2018
An ocarina extension for AADL formal semantics generation.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2015
From AADL Model to LNT Specification.
Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015


  Loading...