Tews, Hendrik 1969-
Tews, H. (Hendrik), 1969-
VIAF ID: 25535223 ( Personal )
Permalink: http://viaf.org/viaf/25535223
Preferred Forms
-
- 100 1 _ ‡a Tews, Hendrik ‡d 1969-
- 100 1 _ ‡a Tews, Hendrik ‡d 1969-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Applying source code verification to a microkernel the V-fiasco project | |
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code | |
coalgebraic specification language CCSL | |
Coalgebraische Methoden für objektorientierte Spezifikation | |
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select | |
V-fiasco approach for a verified operating system V-fiasco project | |
V-fiasco - towards a provably correct kernel [My-kernel] | |
Waiting for Locks: How Long Does It Usually Take? |