Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B
Publiceringsår
2014
Upphovspersoner
Laibinis L; Troubitsyna E; Graja Z; Migeon F; Kacem AH
Organisationer och upphovspersoner
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Moderpublikationens namn
Moderpublikationens redaktörer
Giannakopoulou D; Salaun G
Förläggare
Volym
8702
Sidor
363–377
ISSN
ISBN
Publikationsforum
Publikationsforumsnivå
1
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Ingen information
Parallellsparad
Okänd
Övriga uppgifter
Vetenskapsområden
Data- och informationsvetenskap
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Okänd
DOI
10.1007/978-3-319-10431-7_29
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja