Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Formal Model-Based Approaches for the Development of Composite Systems

Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [291 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-02963225
Contributor : Pascal Poizat <>
Submitted on : Friday, October 9, 2020 - 8:28:42 PM
Last modification on : Friday, October 23, 2020 - 4:51:59 PM

File

hdr_poizat.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-02963225, version 1

Citation

Pascal Poizat. Formal Model-Based Approaches for the Development of Composite Systems. Software Engineering [cs.SE]. Université Paris Sud (Paris 11), 2011. ⟨tel-02963225⟩

Share