Search

Your search keyword '"Mermet A"' showing total 202 results

Search Constraints

Start Over You searched for: Author "Mermet A" Remove constraint Author: "Mermet A" Publication Type eBooks Remove constraint Publication Type: eBooks
202 results on '"Mermet A"'

Search Results

1. How Variables Graphs May Help to Correct Erroneous MAS Specifications

2. Nitinol Stents Printed by Selective Laser Melting

4. Playing (in) a Crisis Simulation : What is the Playful Engagement in a Serious Simulation Made of?

8. Side Effects of Agents Are Not Just Random

9. System Design Conceptual Model

12. A Dynamic Clustering Algorithm for Mobile Objects

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

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

Catalog

Books, media, physical & digital resources