30 results on '"Krumm, H."'
Search Results
2. Compositional Specification and Verification of High-Speed Transfer Protocols
3. KISMET BASED MULTIMEDIA WORKSTATION FOR OPERATIONAL SUPPORT IN FUSION PLANT REMOTE MAINTENANCE
4. CIL — Eine Sprache zur Implementierung von Kommunikationsdiensten
5. Model-based management of embedded service systems-an applied approach
6. Trust-Based Monitoring of Component-Structured Software
7. The adsorption of acenes on rutile TiO2(110): A multi-technique investigation
8. Approaches to the Formal Verification of Hybrid Systems
9. Improving the efficiency of automated protocol implementations using a configurable FDT compiler
10. An all-electric vehicle technology demonstrator with a 35-mm electrothermal gun system
11. Setup and performance of a 105 mm electrothermal gun
12. Preoptimization of large calibre plasmaburners with a full scale experimental simulator
13. The Karlsruhe Endoscopic Surgery Trainer as an example for virtual reality in medical education
14. Die Ausbildung von Fremdsprachenlehrern für Europa
15. The Development of a Severe Turbocharger Bench Engine Test
16. Jahrbuch Deutsch als Fremdsprache, Band 3.
17. The light in Maxwell's wave equation
18. Interactive verification of communication software on the basis of CIL
19. Interactive verification of communication software on the basis of CIL
20. Oscillations of an elastically suspended coupler of a four-bar-linkage
21. Conjugate positions for planar four-bar mechanisms and corresponding special forms of the coupler-curves
22. User-defined telecooperation services
23. A framework for the hazard analysis of chemical plants
24. Security service adaptation for embedded service systems in changing environments
25. Specification of hybrid systems in cTLA+
26. Verification of UML-based real-time system designs by means of cTLA
27. Policy Modeling and Refinement for Network Security Systems
28. Model-based configuration of VPNs
29. Compositional specification and structured verification of hybrid systems in cTLA
30. Trust-adapted enforcement of security policies in distributed component-structured applications
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.