Work

A Graph Transformation Approach for Testing Timed Systems

Year: 2012

Type: conference-paper

Source: Communications in computer and information science

DOI: 10.1007/978-3-642-33308-8_11

Authors: Hiba Hachichi, Ilham Kitouni, Kenza Bouaroudj, Djamel-Eddine Saidouni

Institution: University Frères Mentouri Constantine 1

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W26112523

FWCI: 0.472

Cites: 19

Cited by: 4

Related to: 10