16 results on '"Graf, Susanne"'
Search Results
2. Direct antimicrobial resistance prediction from clinical MALDI-TOF mass spectra using machine learning
3. Knowledge-based construction of distributed constrained systems
4. Material and Biofilm Load of K Wires in Toe Surgery: Titanium versus Stainless Steel
5. Achieving distributed control through model checking
6. Timing analysis and validation with UML: the case of the embedded MARS bus manager
7. Propionibacterium spp. in prosthetic joint infections: a diagnostic challenge
8. OMEGA: correct development of real time and embedded systems
9. A real-time profile for UML
10. Validating timed UML models by simulation and verification
11. Preface of “Specification and Validation of Real Time and Embedded systems in UML”
12. Characterization of a sequentially consistent memory and verification of a cache memory by abstraction
13. Compositional minimisation of finite state systems using interface specifications
14. Preface by the section editor
15. Rover/sitterDrosophila melanogaster larval foraging polymorphism as a function of larval development, food-patch quality, and starvation
16. A logic for the specification and proof of regular controllable processes of CCS
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.