Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B
Julkaisuvuosi
2014
Tekijät
Linas Laibinis; Elena Troubitsyna; Z Graja; F Migeon; AH Kacem
Organisaatiot ja tekijät
Åbo Akademi
Troubitsyna Elena
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Lehti
Software Engineering and Formal Methods (SEFM 2014)
Emojulkaisun nimi
Konferenssi
conference; 2014-09-01; 2014-09-05
Sivut
363–377
ISBN
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei tietoa
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Avainsanat
[object Object],[object Object],[object Object],[object Object]
Kustantajan kansainvälisyys
Kotimainen
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1007/978-3-319-10431-7_29
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä