Hakima Mellah

2 Questions 11 Answers 0 Followers

Questions related from Hakima Mellah

How to convert a textual format into Maude model?

Hi, I have a textual descirption of a home care system, and i want to model and verify it in Maude system? can anybody help me by proposing the principal steps to follow? Thank you

27 March 2019 8,513 0 View

Technically, how can we select a cloud computing service?

I would like to understand how to access the cloud and more specifically a small cloud to search / select a cloud service? are there any tools or platforms that can help? Hakima

25 December 2017 6,409 6 View