Concepedia

Farida Semmak

FS

1

Publications

65

Citations

1

H-Index

2009

Active since

Affiliations

Université Paris Cité(Current)

Farida Semmak is an author at Université Paris Cité specializing in formal methods, automated reasoning, and system software.

Top concepts

Publications per year

2009–2009

1

Publications

1

A first attempt to combine SysML requirements diagrams and B

Régine Laleau, Farida Semmak, Abderrahman Matoussi et al. · Innovations in Systems and Software Engineering · 2009 · 65 citations

, , +13

Rows per page

1–1 of 1