Christian Müller
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Helmut Seidlonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| perspective on automotive software and Eclipse SDV | SDV Community Day July 2023 | 2023-07-06 |
ZF describes concrete shifts: vehicles already run high-performance controllers with water cooling and software complexity forces platform reuse rather than… | ||
| Stratified Guarded First-Order Transition Systems | SAS 2020 | 2020-11-18 |
Defines a class of first-order transition systems that is stratified and strictly guarded, shows weakest-precondition fixpoint iteration eliminates… | ||
| nothing matches | ||