LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Research » Publications
Books
Edited books
Journal articles
Book chapters
Conference papers
Other publications
Habilitations
Thesis

Timed substitutions for regular signal-event languages

Type : Journal Article

Year : 2007

Secondary Title : Formal Methods in System Design

Publisher : Springer netherlands

Volume : 31

Number : 2

Pages : 101-134

Date : "oct"

Authors : Bérard, Béatrice Gastin, Paul Petit, Antoine

 Mentions légales
Site map |