202 results on '"Mermet A"'
Search Results
2. Nitinol Stents Printed by Selective Laser Melting
3. Insularity in a Connected World? The COVID-19 Pandemic in Iceland
4. Playing (in) a Crisis Simulation : What is the Playful Engagement in a Serious Simulation Made of?
5. Low Power Operation at Aluminium Dunkerque Smelter
6. La validation de méthode en spectrométrie d'émission optique à source plasma: De l'échantillon au résultat
7. A New Proof System to Verify GDT Agents
8. Side Effects of Agents Are Not Just Random
9. System Design Conceptual Model
10. Specifying and Verifying a MAS:The Robots on Mars Case Study
11. A Tool Architecture to Verify Properties of Multiagent System at Runtime
12. A Dynamic Clustering Algorithm for Mobile Objects
13. Au prisme du jeu
14. Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour
15. Variant Extensions to Prove MAS Behaviours
16. SPACE: A Method to Increase Tracability in MAS Development
17. Using the SPACE Intermediate Model to Help to Implement Agents
18. Introducing CASCADE control graphs in VHDL
19. A Methodology to Solve Optimisation Problems with MAS Application to the Graph Colouring Problem
20. Checking W3C WAI User Agent Guidelines Against Browsers Following UI4ALL Principle
21. Hot Spots in Chromosomal Breakage: From Description TC Etiology
22. System on Chip Specification and Design Languages Standardization
23. Safe combinations of services using B
24. Boiling Coupled with Air Cooling
25. Thermal and Moisture Stresses in Plastic Packages
26. Policy Exercises on Global Environmental Problems
27. Environnement : décider autrement: Nouvelles pratiques et nouveaux enjeux de la concertation
28. Stratégies pour la gestion de l'environnement: La nature comme jeu de société ?
29. Functional Simulation
30. Tamoxifen-Induced Fluorescence as a Predictive Test for Hormone Responsiveness of Breast Carcinoma
31. Impact of Formalisms on Model Specification
32. Interface-Based Synthesis Refinement in B
33. Formally Unified System Specification Environment with UML, B and SystemC
34. Towards a Conceptual Framework for UML to Hardware Description Language Mappings
35. U2B : A tool for translating UML-B models into B
36. BHDL: Principles and tools for generating proven hardware
37. System Level Modelling and Refinement with EventB
38. The UML-B Profile for Formal Systems Modelling in UML
39. An Introduction to Formal Methods : How do they apply in embedded system design?
40. Embedded System Design Using the PUSSEE Method : An overview
41. Refinement of Finite State Machines with Complementary Model Checking
42. Formal Modelling of Electronic Circuits Using Event-B : Case Study: SAE J1708 Serial Communication Link
43. The PUSSEE Method in Practice : Specification and design of an embedded telecom system based on HIPERLAN/2 protocol
44. Evaluation Criteria for Embedded System Design Methods
45. The Echo Cancellation Unit Case Study
46. UML-B Specification and Hardware Implementation of a Hamming Coder/Decoder
47. Results of the Mobile Design System Experiment
48. Adaptive Cruise Control Case Study Design Experiment
49. The Adaptive Cruise Controller Case Study : Visualisation, Validation, and Temporal Verification
50. A UML Profile for Real-Time System Modelling with Rate Monotonic Analysis
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.