Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B
Julkaisuvuosi
2014
Tekijät
Laibinis L; Troubitsyna E; Graja Z; Migeon F; Kacem AH
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
Emojulkaisun toimittajat
Giannakopoulou D; Salaun G
Konferenssi
Kustantaja
Volyymi
8702
Sivut
363–377
ISSN
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei tietoa
Rinnakkaistallennettu
Ei tietoa
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei tietoa
DOI
10.1007/978-3-319-10431-7_29
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä