Integrating Correction into Incremental Validation

Autor:	Bouchou, Béatrice, Cheriat, Ahmed, Halfeld Ferrari Alves, Mirian, Savary, Agata
Přispěvatelé:	Laboratoire d'Informatique Fondamentale et Appliquée de Tours (LIFAT), Université de Tours (UT)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS)-Université de Tours-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Halfeld Ferrari, Mirian
Jazyk:	angličtina
Rok vydání:	2006
Předmět:	ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB] [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB] ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT ComputingMilieux_MISCELLANEOUS
Zdroj:	BDA BDA, Oct 2006, Lille, France
Popis:	National audience
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9e4c3fd93c0f57a5685e5d97f9b5b211 https://hal.inria.fr/inria-00461224 Zobrazit plný text záznamu