Concepedia

S. Mallek Daclin

SM

1

Publications

26

Citations

1

H-Index

2016

Active since

Affiliations

Université de Bordeaux(Current)

S. Mallek Daclin is an author at Université de Bordeaux specializing in formal methods, formal verification, and system software.

Top concepts

Publications per year

2016–2016

1

Publications

1

Writing and verifying interoperability requirements: Application to collaborative processes

Nicolas Daclin, S. Mallek Daclin, V. Chapurlat et al. · Computers in Industry · 2016 · 26 citations · Full text

, , +10

Rows per page

1–1 of 1