Browsing by Author Krilavičius, Tomas

Jump to a point in the index:
Or type in a year:
In order:
Results/Page
Authors/Record:
Showing results 1 to 20 of 169  next
DateTitleAuthor(s)Type
2008On structural analysis of parliamentarian voting dataKrilavičius, Tomas; Žilinskas, Antanasresearch article
2008Simulation of mechatronic systems using behavioural hybrid process calculusKrilavičius, Tomasresearch article
2008Process algebraic simulation of concurrent hybrid systemsKrilavičius, Tomasresearch article
2009Case studies with Process Analysis Toolkit (PAT)Man, Ka Lok; Krilavičius, Tomas; Leung, H. Lresearch article
1-Jun-2009Darbui su duomenų bazėmis skirtos programavimo kalbos kompiliatorius .NET platformaiBieliūnas, Rytismaster thesis
2010Informacinės technologijos : 15-osios tarpuniversitetinės magistrantų ir doktorantų konferencijos “Informacinė visuomenė ir universitetinės studijos” (IVUS 2010) medžiaga = Proceedings of master and PHD students conference on Informatics, 2010 m. gegužės 13 d., Kaunas, Lietuvabook
2010TEPAWSN: A formal analysis tool for wireless sensor networksMan, Ka Lok; Krilavičius, Tomas; Vallee, Thierry; Leung, H.Lresearch article
2010Application of Bhave toolset for system control and electronic system designMan, Ka Lok; Krilavičius, Tomas; Chen, C; Leung, H.Lresearch article
2010Composition challenges and approaches for cyber physical systemsWan, Kaiyu; Hughes, Danny; Man, Ka Lok; Krilavičius, Tomasresearch article
2010Research on Process Algebraic Analysis Tools for Electronic System DesignMan, Ka Lok; Krilavičius, Tomasbook part
2010Behavioural Hybrid Process Calculus for Modelling and Analysis of Hybrid and Electronic Systems performanceKrilavičius, Tomas; Man, Ka Lokbook part
2010Functional modelling and analysis of a distributed truck lifting systemKrilavičius, Tomas; Miliukas, Vaclovasresearch article
31-May-2010Simulation tool for hybrid process algebrasValaškevičius, Šarūnasmaster thesis
2011Modeling and analysis of radiation therapy system with respiratory compensation using uppaalMan, Ka Lok; Krilavičius, Tomas; Wan, Kaiyu; Hughes, Danny; Lee, Kevinresearch article
2011Simulation of the radiation therapy system for respiratory movement compensationKrilavičius, Tomas; Vitkutė-Adžgauskienė, Daiva; Šidlauskas, Kęstutisresearch article
2011Specification and analysis of NCL circuitsMa, J; Kapoor, H. K; Krilavičius, Tomas; Man, Ka Lok; Zhang, N; Lim, E. G; Jeong, T. T; Guan, S. U; Seon, J. Kresearch article
2011Investigation on composition mechanisms for cyber physical systemsWan, Kaiyu; Hughes, Danny; Man, Ka Lok; Krilavičius, Tomas; Zou, Shujunresearch article
2011A practical student's guide : programming in Java and MATLABMan, Ka Lok; Wan, Kaiyu; Krilavičius, Tomasbook
2011Timed model of the radiation therapy system with respiratory motion compensationKrilavičius, Tomas; Man, Ka Lokresearch article
31-May-2011Nuomonių analizės taikymas komentarams lietuvių kalbojeKavaliauskas, Vytautasmaster thesis