Login / Signup
Lukasz Podolski
Publication Activity (10 Years)
Years Active: 2017-2018
Publications (10 Years): 3
Top Topics
Real Time Database Systems
Object Oriented Programming Language
Architectural Model
Anytime Algorithms
Top Venues
KKIO Software Engineering Conference
ICAISC (2)
IEEE Access
</>
Publications
</>
Marcin Szpyrka
,
Michal Wypych
,
Jerzy Biernacki
,
Lukasz Podolski
Discrete-Time Systems Modeling and Verification With Alvis Language and Tools.
IEEE Access
6 (2018)
Marcin Szpyrka
,
Piotr Matyasik
,
Lukasz Podolski
,
Michal Wypych
Simulation of Multi-agent Systems with Alvis Toolkit.
ICAISC (2)
(2017)
Marcin Szpyrka
,
Lukasz Podolski
,
Michal Wypych
Modelling and Verification of Real-Time Systems with Alvis.
KKIO Software Engineering Conference
(2017)