28 results on '"Scholz, Peter"'
Search Results
2. Measurements on the effect of steps on the transition of laminar boundary layers
3. A method to quantify the supersonic discharge of airbag cold gas inflators
4. Multifunctional thin film sensor system as monitoring system in production
5. The flow field in a high aspect ratio cooling duct with and without one heated wall
6. Application of laser-induced fluorescence technique in a duct flow with one heated wall
7. A refinement calculus for statecharts
8. Formal Verification and Hardware Design with Statecharts
9. Ballerfahrungen mit Kindern in Schule und Sportverein
10. Communication concepts for statecharts: A semantic foundation
11. Formal verification of statecharts with instantaneous chain reactions
12. Compositional specification of embedded systems with Statecharts
13. Functional specification of real-time and hybrid systems
14. A light-weight formalism for the specification of reactive systems
15. Qualification of oil-based tracer particles for heated Ludwieg tubes
16. Softwareentwicklung eingebetteter Systeme
17. A refinement calculus for statecharts
18. Formal Verification and Hardware Design with Statecharts
19. Communication concepts for statecharts: A semantic foundation
20. Compositional specification of embedded systems with Statecharts
21. Functional specification of real-time and hybrid systems
22. Programmierung eingebetteter Systeme
23. Vorgehensmodelle und Standards der Entwicklung
24. Softwarequalität eingebetteter Systeme
25. Echtzeit, Echtzeitsysteme, Echtzeitbetriebssysteme
26. Einleitung
27. Nebenläufige Systeme
28. Schlussbemerkungen
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.