Login / Signup
Krit Salahddine
Publication Activity (10 Years)
Years Active: 2012-2020
Publications (10 Years): 1
Top Topics
Software Engineering
Black Hole Search
Mobile Agents
Formal Methods
Top Venues
CoRR
Int. J. Knowl. Eng. Soft Data Paradigms
</>
Publications
</>
Yousra Berguig
,
Jalal Laassiri
,
Krit Salahddine
A survey on distributed mobile agents' system security.
Int. J. Knowl. Eng. Soft Data Paradigms
7 (1) (2020)
Krit Salahddine
,
Jalal Laassiri
,
Said El Hajji
Specification and Verification of Uplink Framework for Application of Software Engineering using RM-ODP
CoRR
(2012)