Keywords of "On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics"
- Label
- Keywords of "On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics" (literal)
- Parole chiave di "On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics" (literal)
- Insieme di parole chiave di
- On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Ha membro
- 68N30 Mathematical aspects of software engineering (Parola chiave)
- D.2.4 Software/Program Verification (Parola chiave)
- Fluid Flow Analysis (Parola chiave)
- Swarm Robotics (Parola chiave)
- Formal Modeling (Parola chiave)
Incoming links:
- Insieme di parole chiave
- On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Membro di
- D.2.4 Software/Program Verification (Parola chiave)
- 68N30 Mathematical aspects of software engineering (Parola chiave)
- Fluid Flow Analysis (Parola chiave)
- Swarm Robotics (Parola chiave)
- Formal Modeling (Parola chiave)
