|
СТ |
Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications |
2005 |
Abbes S., Benveniste A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.07.2005 |
|
СТ |
A Protocol for Loosely Time-Triggered Architectures |
2002 |
Benveniste A., Caspi P., Le Guernic P., Marchand H., Talpin J. -P., Tripakis S. |
|
|
|
Lecture Notes in Computer Science |
12.11.2002 |
|
СТ |
Some Synchronization Issues when Designing Embedded Systems from Components |
2001 |
Benveniste A. |
|
|
|
Lecture Notes in Computer Science |
03.11.2001 |
|
СТ |
Compositionality in Dataflow Synchronous Languages: Specification and Code Generation |
1998 |
Benveniste A., Le Guernic P., Aubry P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.01.1999 |
|
П |
The Signal Software Environment for Rial-Time System Specification, Design, and Implementation |
1989 |
Benveniste A., Le Guernic P., Jacquemot C. |
|
|
INRIA |
|
01.06.1995 |
|
СТ |
Data-flow Synchronous Languages |
1994 |
Benveniste A., Caspi P., Le Guernic P., Halbwachs N. |
|
|
|
Lecture Notes in Computer Science |
04.08.1994 |
|
П |
Projet SYNCHRONE. Les formats communs des langages syncrones |
1993 |
Paris J. -P., Berry G., Mignard F., Couronne P., Caspi P., Halbwachs N., Sorel Y., Benveniste A., Gautier T., Le Guernic P., Dupont F., Le Maire C. |
|
|
INRIA |
|
27.01.1994 |
|
СТ |
Hybrid Systems: The SIGNAL Approach |
1993 |
Benveniste A., Le Borgne M., Le Guernic P. |
|
|
|
Lecture Notes in Computer Science |
09.12.1993 |
|
П |
Constructive Probability and the SIGNalea Language: Building and Handling Random Processes Via Programming |
1991 |
Benveniste A. |
|
|
INRIA |
|
25.08.1992 |
