Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B
Publiceringsår
2014
Upphovspersoner
Linas Laibinis; Elena Troubitsyna; Z Graja; F Migeon; AH Kacem
Organisationer och upphovspersoner
Åbo Akademi
Troubitsyna Elena
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
Journal
Software Engineering and Formal Methods (SEFM 2014)
Moderpublikationens namn
Konferens
conference; 2014-09-01; 2014-09-05
Sidor
363–377
ISBN
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Ingen information
Parallellsparad
Nej
Övriga uppgifter
Vetenskapsområden
Data- och informationsvetenskap
Nyckelord
[object Object],[object Object],[object Object],[object Object]
Förlagets internationalitet
Inhemsk
Internationell sampublikation
Ja
Sampublikation med ett företag
Nej
DOI
10.1007/978-3-319-10431-7_29
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja