The following pages link to Bernhard Josko (Q1172383):
Displayed 11 items.
- A sound and relatively* complete Hoare-logic for a language with higher type procedures (Q1172384) (← links)
- A discrete-time UML semantics for concurrency and communication in safety-critical applications (Q1776580) (← links)
- (Q3334976) (← links)
- (Q3339259) (← links)
- (Q3761688) (← links)
- (Q3910518) (← links)
- (Q4037109) (← links)
- (Q4037385) (← links)
- (Q4873997) (← links)
- FM 2005: Formal Methods (Q5716906) (← links)
- Formal Methods for Components and Objects (Q5897124) (← links)