Internatspädagogik
Reachability Analysis and Refinement Checking for BDD Based Model Checking of Timed Automata
Green Line Transition.
A Modular Hybrid Modelling Notation
Markovian Demand Inventory Models
Noisy Optimization With Evolution Strategies
A Comparative Study of Decision Diagrams for Real Time Verification
Teaching Compendium: Teaching Drama
Efficient Verification of Real Time Systems Using BDDs
Dave Eggers, The Circle
Teaching compendium: digital tools and literature
Teaching Compendium Multiliteracies
Rabbit: Verification of Real Time Systems
A Formalism for Modular Modelling of Hybrid Systems
A Proof of the EOQ Formula Using Quasi-Variational Inequalities
CrocoPat 2.1 Introduction and Reference Manual
Hurdles for the Voluntary Disclosure of Information on Intangibles
Considering Inheritance, Overriding, Overlaoding and Polymorphism for Measuring C_378_378 Sources
Hurdles for the Voluntary Disclosure of Information on Intangibles