Vérification des systèmes multi-agents comportementalistes par le moyen des simulations formellement guidées

Paulo Salem Da Salem da Silva Silva

Open source

DOI
10.70675/884692a9zbcc8z4e78za6a2zd0b3f6c6710d
Published
2011-11-28
Container
Not recorded
Publisher
Not recorded
Open access
yes

Credibility signals

limited evidence Score 45/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.

Show all credibility signals

Cite this work

BibTeX

@article{allodium:10.70675/884692a9zbcc8z4e78za6a2zd0b3f6c6710d,
  title = {Vérification des systèmes multi-agents comportementalistes par le moyen des simulations formellement guidées},
  author = {Paulo Salem Da Salem da Silva Silva},
  year = {2011},
  doi = {10.70675/884692a9zbcc8z4e78za6a2zd0b3f6c6710d},
  url = {https://doi.org/10.70675/884692a9zbcc8z4e78za6a2zd0b3f6c6710d}
}

RIS

TY  - JOUR
TI  - Vérification des systèmes multi-agents comportementalistes par le moyen des simulations formellement guidées
AU  - Paulo Salem Da Salem da Silva Silva
PY  - 2011
DO  - 10.70675/884692a9zbcc8z4e78za6a2zd0b3f6c6710d
UR  - https://doi.org/10.70675/884692a9zbcc8z4e78za6a2zd0b3f6c6710d
ER  - 

APA

Silva, P. S. D. S. D. S. (2011). Vérification des systèmes multi-agents comportementalistes par le moyen des simulations formellement guidées. https://doi.org/10.70675/884692a9zbcc8z4e78za6a2zd0b3f6c6710d

Source records