7 results on '"Herber, A"'
Search Results
2. Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems
3. Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions
4. Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata
5. Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems
6. Dupilumab in atopic-dermatitis-like eczema associated with inborn errors of immunity: A nationwide study.
7. Differentiation Between Pellucid-Like Keratoconus and Pellucid Marginal Degeneration Using Swept-Source Optical Coherence Tomography
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.