Work

A Transformation Approach for Multiform Time Requirements

Year: 2013

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-40561-7_2

Authors: Nadia Menad, Philippe Dhaussy

Institutions: Université des Sciences et de la Technologie d'Oran Mohamed Boudiaf, Centre National de la Recherche Scientifique, Laboratoire des Sciences et Techniques de l’Information de la Communication et de la Connaissance, École nationale supérieure de techniques avancées Bretagne

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W58706203

FWCI: 0.422

Cites: 13

Cited by: 3

Related to: 10