Skip to content

Search

About Registry Community Blog Documentation (opens in new tab)

Subscribe to the ROR newsletter

Subscribe (opens in new tab)

Suggest an addition or update to ROR

Suggest (opens in new tab)

Email (opens in new tab)
LinkedIn (opens in new tab)
Mastodon (opens in new tab)
Bluesky (opens in new tab)
YouTube (opens in new tab)
GitHub (opens in new tab)
Documentation (opens in new tab)

All ROR IDs and metadata are provided under the Creative Commons CC0 1.0 Universal Public Domain Dedication. (opens in new tab)
All other content of this site is licensed under the Creative Commons Attribution 4.0 International License. (opens in new tab)
Read the ROR Privacy Policy, Accessibility Statement, and Terms of Use.

ROR search home page

https://ror.org/058s3n869

ARMADHA: Modélisation et analyse formelles des systèmes distribués et matériels

Organization types

Facility

Other names

Labels

ARMADHA: Advancing Rigorous Modelling and Analysis of Distributed and Hardware Architectures (en)

Acronyms

ARMADHA (en)

Locations

Montbonnot-Saint-Martin (GeoNames ID 2992908 (opens in new tab)), France

Website

https://team.inria.fr/armadha/ (opens in new tab)

View JSON (opens in new tab)Suggest a change (opens in new tab)

Record last modified: 2026-09-22