Search results for: Albert Benveniste
Nonlinear Analysis: Hybrid Systems > 2017 > 26 > C > 168-189
Lecture Notes in Computer Science > Hybrid Systems > 230-254
Lecture Notes in Control and Information Sciences > Detection of Abrupt Changes in Signals and Dynamical Systems > 1-7
Lecture Notes in Control and Information Sciences > Detection of Abrupt Changes in Signals and Dynamical Systems > 75-86
Lecture Notes in Computer Science > Embedded Software > 294-304
Lecture Notes in Control and Information Sciences > Detection of Abrupt Changes in Signals and Dynamical Systems > 259-274
Lecture Notes in Control and Information Sciences > New Trends in Nonlinear Control Theory > 483-495
Lecture Notes in Computer Science > CONCUR 2003 - Concurrency Theory > Partial Orders and Asynchronous Systems > 1-26
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Invited Talks > 14-14
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Probabilistic Models > 95-109
Lecture Notes in Computer Science > Embedded Software > 252-265
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Probabilistic and Quantitative Models > 380-394