Concepedia

Hassan Mountassir

HM

3

Publications

49

Citations

3

H-Index

2009

Active since

Affiliations

Université de franche-comté(Current)

Hassan Mountassir is an author at Université de franche-comté specializing in system software, formal verification, and software engineering.

Top concepts

Publications per year

2009–2013

3

Publications

3

Mapping SysML to modelica to validate wireless sensor networks non-functional requirements

Samir Berrani, Ahmed Hammad, Hassan Mountassir · 2013 · 26 citations

, , +26

Refinement of Interface Automata Strengthened by Action Semantics

Sebti Mouelhi, Samir Chouali, Hassan Mountassir · Electronic Notes in Theoretical Computer Science · 2009 · 13 citations · Full text

, , +21

Adapting Component Behaviours Using Interface Automata

Samir Chouali, Sebti Mouelhi, Hassan Mountassir · 2010 · 10 citations

, , +22

Rows per page

1–3 of 3