S. Mallek Daclin - Concepedia

Author

S. Mallek Daclin

Also Known As

Mallek Daclin, Sihem, S. Mallek Daclin, Sihem Mallek Daclin

Publications

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	1	1	26
2	Systems Engineering	1	1	26
3	Software Analysis	1	1	26
4	Software Engineering	1	1	26
5	Formal Methods	1	1	26

S. Mallek Daclin

Publications

Citations

H-Index

Page 1

	Year	Citations
Writing and verifying interoperability requirements: Application to collaborative processes Nicolas Daclin, S. Mallek Daclin, V. Chapurlat, Computers in Industry EngineeringSystem SpecificationVerificationFormal MethodsSoftware Analysis	2016	26

Page 1