sebastian stüber
Double Challenge - Sprung ins Ungewisse
Print on DemandDie 18-jährige Fiona Lenning steht kurz vor dem Abitur, ist der aufstrebende Nachwuchsstar der de...
Towards an Isabelle Theory for distributed, interactive systems
Besorgungstitel - wird vorgemerktThis report describes a specification and verification framework for distributed interactive syst...
Formal Software Engineering of Distributed Systems using Focus-Streams and Automata
Besorgungstitel - wird vorgemerktThe increasing complexity of software systems, particularly in distributed environments, necessit...
- 1