Work

An Alternative Definition for Timed Automata Composition

Year: 2011

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-24372-1_9

Authors: Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali

Institutions: Institut de Recherche en Informatique de Toulouse, Université de Toulouse

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W199100790

FWCI: 1.105

Cites: 23

Cited by: 12

Related to: 10