A Transformation Approach for Multiform Time Requirements

International audience

Data and Resources

Additional Info

Field Value
Source Software Engineering and Formal Methods
Author Menad, Nadia, Dhaussy, Philippe
Maintainer CCSD
Last Updated May 7, 2026, 23:57 (UTC)
Created May 7, 2026, 23:57 (UTC)
Identifier hal-00912857
Language en
contributor Chemical Engineering Department (Oran , Algeria) ; Université des sciences et de la Technologie d'Oran Mohamed Boudiaf [Oran] (USTO MB)
coverage Madrid, Spain
creator Menad, Nadia
date 2013-09-25T00:00:00
harvest_object_id 9e16e5e0-3947-4bbb-8814-dc5341a4ddd9
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2026-01-23T00:00:00
set_spec type:COMM