Marek
Rychlý
Publications
Software
Weblog
Hiking
All Topics
All Tags
Home
RSS
LinkedIn
GitLab
GitHub
Google+
Flickr
© 2016. All rights reserved.
master commit
babd3fbe
built with
Hugo
v0.75.1
on
2023-07-24 14:43:13
DIFS
2008
Modelování komponentově orientovaných systémů
Details
Seminar
2007
Komponentový model s podporou mobilních architektur a formálním popisem
Details
Seminar
Formální sémantika komponentově orientovaných systémů
Details
Seminar
2006
A Framework for Systems of Asynchronous Concurrent Processes
Details
Seminar