L'Action Concertée Incitative Sécurité et Informatique

Claude Kirchner

doi:10.3166/tsi.23.421-426

Journal Articles Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques Year : 2004

L'Action Concertée Incitative Sécurité et Informatique

(1)

Claude Kirchner

Function : Author
PersonId : 864
IdHAL : claudekirchner
ORCID : 0000-0002-1686-1046
IdRef : 032478739

Constraints, automatic deduction and software properties proofs

Abstract

Ce texte présente l'Action Concertée Incitative sécurité et informatique, sa place dans l'organisation de la recherche en France, ses objectifs et ses moyens, des éléments issus du premier appel à propositions de 2003 et des éléments de directions futures.

Keywords

dependability security safety

sûreté sécurité

Domains

Other [cs.OH]

Publications Loria : Connect in order to contact the contributor

https://inria.hal.science/inria-00100103

Submitted on : Tuesday, September 26, 2006-10:14:09 AM

Last modification on : Thursday, February 15, 2024-3:31:20 AM

Dates and versions

inria-00100103 , version 1 (26-09-2006)

Identifiers

HAL Id : inria-00100103 , version 1
DOI : 10.3166/tsi.23.421-426

Cite

Claude Kirchner. L'Action Concertée Incitative Sécurité et Informatique. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2004, 23 (3), pp.421-426. ⟨10.3166/tsi.23.421-426⟩. ⟨inria-00100103⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA IRISA UNIV-LORRAINE INRIA2 LORIA UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM

54 View

0 Download

L'Action Concertée Incitative Sécurité et Informatique

Abstract

Keywords

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share