Name Card
Surname, Name
Miliukas, Vaclovas
Main Affiliation
Taikomosios informatikos katedra
Publications
(Articles)
Articles
Others
Show/Hide filters
Author
1
Krilavičius, Tomas
1
Miliukas, Vaclovas
Subject
1
Formal methods
1
Formal modelling
1
Formal verification
1
Timed automation
Type
1
Mokslo straipsnis / Research article
Research area
1
Informatika / Informatics (N009)
Affiliation
1
Taikomosios informatikos katedra
1
Vytauto Didžiojo universitetas
Date
1
2010 - 2019
Provenance
1
Submitted by Kuciukas, Vilius (viliusku@gmail.com) on 2018-10-06T14:50:43Z No. of bitstreams: 0
Close filters
Results 1-1 of 1 (Search time: 0.006 seconds).
ISBD
Refman
EndNote
Bibtex
RefWorks
Excel
CSV
Send via email
Date
Title
Author(s)
Type
1
2010
Functional modelling and analysis of a distributed truck lifting system
Krilavičius, Tomas
; Miliukas, Vaclovas
research article