Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Sebastian Bogan
Observed name:
Bogan, Sebastian
Institution:
Saarland University
Observed institution:
Saarland University
OpenAlex ID:
A5084495579
Model stack for the pervasive verification of a microkernel-based operating system
2008
·
Matthias Daum
, Jan Dörrenbächer
, et al.
·
12
Formal specification of a simple operating system
2008
·
Bogan, Sebastian
·
11
Proving the correctness of client/server software
2009
·
Eyad Alkassar
, Sebastian Bogan
, et al.
·
Sadhana
·
7
Show more works
View as search
Works count:
3
Citation count:
30
H-index:
3
I10-index:
2
Year
Topic
Type
