ℹ️
🇬🇧
Search
Search for people relevant for "Check-"
Check-
Person
Class
Person
Publication
Programmes
Mgr. Martin Děcký Ph.D.
External academic staff at Faculty of Mathematics and Physics
17 publications
Publications
publication
CoCoME in SOFA
+1
2008 |
Faculty of Mathematics and Physics
publication
CoCoME in Fractal
2008 |
Faculty of Mathematics and Physics
publication
A Non-Intrusive Read-Copy-Update for UTS
2012 |
Faculty of Mathematics and Physics
publication
A Road to a Formally Verified General-Purpose Operating System
2010 |
Faculty of Mathematics and Physics
publication
Real-Time Java in Space: Potential Benefits and Open Challenges
2009 |
Faculty of Mathematics and Physics
publication
Teaching Operating Systems: Student Assignments and the Software Engineering Perspective
2008 |
Faculty of Mathematics and Physics
publication
Resource Sharing in Performance Models
+1
2007 |
Faculty of Mathematics and Physics
publication
Component-based General-purpose Operating System
2007 |
Faculty of Mathematics and Physics
publication
HelenOS 0.4.3
Publication without faculty affiliation
publication
HelenOS 0.5.0
Publication without faculty affiliation
Load more publications (7)
Loading network view...