153 results on '"Méry, A."'
Search Results
2. Taming the Desert with Oases and Herds
3. Trade and the Beginnings of Seafaring in the Indian Ocean
4. A Refinement Strategy for Hybrid System Design with Safety Constraints
5. Leveraging Event-B Theories for Handling Domain Knowledge in Design Models
6. Towards Leveraging Domain Knowledge in State-Based Formal Methods
7. Standard Conformance-by-Construction with Event-B
8. The Border Maroons of Le Maniel
9. Contextual Dependency in State-Based Modelling
10. Formal Ontological Analysis for Medical Protocols
11. Chapitre 2. Rome et les barbares : des origines (753 av. J.-C.) à l’apogée de l’Empire (IIe siècle apr. J.-C.)
12. Fragmentation Dynamics of Atomic and Molecular Clusters
13. Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661
14. 9. Ion-dimer collisions
15. Relating Labelled and Label-Free Bunched Calculi in BI Logic
16. Verification by Construction of Distributed Algorithms
17. Augustus auctor ? Le débat sur les dépouilles opimes (Tite-Live 4.20.5-11)
18. De la Police
19. Modelling by Patterns for Correct-by-Construction Process
20. On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B
21. Adult-Onset Still’s Disease (AOSD)
22. A Formal Approach for Maintaining Forest Topologies in Dynamic Networks
23. Contextualization and Dependency in State-Based Modelling - Application to Event-B
24. Applying a Dependency Mechanism for Voting Protocol Models Using Event-B
25. Fictions de l’imposture, impostures de la fiction : le Satiricon de Pétrone comme archétype
26. On Two Friends for Getting Correct Programs
27. Precision measurements with LPCTrap at GANIL
28. Using GPU parallelization to perform realistic simulations of the LPCTrap experiments
29. Integrating Domain-Based Features into Event-B: A Nose Gear Velocity Case Study
30. Der Begriff der Kritik in der Romantik
31. Analyzing Requirements Using Environment Modelling
32. The Border Maroons of Le Maniel
33. Playing with State-Based Models for Designing Better Algorithms
34. Analysis of Self-⋆ and P2P Systems Using Refinement
35. Modeling an Aircraft Landing System in Event-B
36. The Semantics of Refinement Chart
37. On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems
38. Separation Logic with One Quantified Variable
39. Food systems
40. Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms
41. Formal Modelling and Verification of Population Protocols
42. Closed-Loop Modeling of Cardiac Pacemaker and Heart
43. Ideal Mode Selection of a Cardiac Pacing System
44. Essais sur l'histoire naturelle des quadrupedes de la province du Paraguay, /
45. 21. Un sanctuaire marin de l'Arabie néolithique
46. Handling Heterogeneity in Formal Developments of Hardware and Software Systems
47. Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata
48. Medical Protocol Diagnosis Using Formal Methods
49. Temperature measurement of 6He + ions confined in a transparent Paul trap
50. A Connection-Based Characterization of Bi-intuitionistic Validity
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.