DSpace Home
→
Browsing by Subject

Browsing by Subject "Event-B"

Now showing items 1-3 of 3

Big data process advancement

Jašek, Roman; Krayem, Said; Žáček, Petr (Springer Verlag, 2017)
Proving the effectiveness of negotiation protocols KQML in multi-agent systems using event-B

Alhaj Ali, Ammar Nassan; Jašek, Roman; Krayem, Said; Žáček, Petr (Springer Verlag, 2017)
The use of knowledge management systems and Event-B modelling in a lean enterprise

Buřita, Ladislav; Hrušecká, Denisa; Pivnička, Michal; Rosman, Pavel (Univerzita Tomáše Bati ve Zlíně (UTB), Fakulta managementu a ekonomiky, 2018)

Now showing items 1-3 of 3

Search DSpace

Advanced Search

Browse

All of DSpace

My Account

Login