Formal Model-Based Approaches for the Development of Composite Systems

Pascal Poizat

Habilitation À Diriger Des Recherches Year : 2011

Formal Model-Based Approaches for the Development of Composite Systems

Approches formelles à base de modèles pour le développement de systèmes composites

(1)

1

Pascal Poizat

Function : Author
PersonId : 7140
IdHAL : pascalpoizat
ORCID : 0000-0001-7979-9510
IdRef : 100530303

Modélisation et Vérification

CV

Keywords

software engineering formal methods composition adaptation test services web

génie logiciel méthodes formelles composition adaptation test services web

Domains

Software Engineering [cs.SE]

Fichier principal

hdr_poizat.pdf (3.61 Mo)

Origin : Files produced by the author(s)

Pascal Poizat : Connect in order to contact the contributor

https://theses.hal.science/tel-02963225

Submitted on : Friday, October 9, 2020-8:28:42 PM

Last modification on : Saturday, October 7, 2023-9:36:22 PM

Dates and versions

tel-02963225 , version 1 (09-10-2020)

Identifiers

HAL Id : tel-02963225 , version 1

Cite

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

Formal Model-Based Approaches for the Development of Composite Systems

Approches formelles à base de modèles pour le développement de systèmes composites

Keywords

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share