Models for software verification: Proving program correctness
Sitnikovski, Boro, Goracinova-Ilieva, Lidija, Stojcevska, Biljana
Published in UTMS journal of economics (01.01.2021)
Get full text
Published in UTMS journal of economics (01.01.2021)
Journal Article
PubSub implementation in Haskell with formal verification in Coq
Sitnikovski, Boro, Stojcevska, Biljana, Goracinova-Ilieva, Lidija, Stojmenovska, Irena
Year of Publication 18.05.2020
Year of Publication 18.05.2020
Get full text
Journal Article
Performance Evaluation of Routing Protocols in a Wireless Sensor Network for Targeted Environment
Denkovski, Viktor, Stojcevska, Biljana, Dovenski, Toni, Pachovski, Veno, Bozinovski, Adrijan
Published in JITA - Journal of Information Technology and Applications (Banja Luka) - APEIRON (02.02.2016)
Published in JITA - Journal of Information Technology and Applications (Banja Luka) - APEIRON (02.02.2016)
Get full text
Journal Article
Enumeration, Ranking and Generation of Binary Trees Based on Level-Order Traversal Using Catalan Cipher Vectors
Božinovski, Adrijan, Stojčevska, Biljana, Pačovski, Veno
Published in JITA - Journal of Information Technology and Applications (Banja Luka) - APEIRON (25.12.2013)
Published in JITA - Journal of Information Technology and Applications (Banja Luka) - APEIRON (25.12.2013)
Get full text
Journal Article