Search
Search Constraints
You searched for: Author/Creator Graja, Zeineb- Graja, Zeineb [remove] 1
- 005.12 1
- Intelligent agents (Computer software) -- Periodicals 1
- Software engineering -- Periodicals 1
- Systems software -- Periodicals 1
- self-organising MAS -- multi-agent systems -- SOMAS -- agent-based systems -- foraging ants -- formal verification -- convergence -- resilience -- stepwise refinements -- Event-B -- temporal logic of actions -- TLA -- modelling 1