( en | de | ru )

 

Disambiguation of "Benveniste, Albert"

Author of the publication

copydeleteadd this publication to your clipboard
Multiple Viewpoint Contract-Based Specification and Design.

, , , , , and . FMCO, volume 5382 of Lecture Notes in Computer Science, page 200-225. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Samuel Benveniste

Albert Waal

Albert Moser

Albert Waas

Rudolf Albert

 

Other publications of authors with the same name

Tag machines., , , and . EMSOFT, page 255-263. ACM, (2005)Identification of vibrating structures subject to non stationary excitation : A non stationary stochastic realization problem., , and . ICASSP, page 252-255. IEEE, (1982)Motion of edges and motion estimation in a sequence of T.V. pictures., and . ICASSP, page 460-463. IEEE, (1982)Nonstationary Consistency of Subspace Methods., and . IEEE Trans. Automat. Contr., 52 (6): 974-984 (2007)Concurrency in Synchronous Systems, , and . Formal Methods in System Design, 28 (2): 111--130 (March 2006)Wavelets in identification., , , , and . Fuzzy logic and expert systems applications, volume 6 of Neural network systems techniques and applications, Academic Press, (1998)Multiscale autoregressive processes. I. Schur-Levinson parametrizations., , and . IEEE Trans. Signal Process., 40 (8): 1915-1934 (1992)Compositionality in Dataflow Synchronous Languages: Specification and Code Generation., , and . COMPOS, volume 1536 of Lecture Notes in Computer Science, page 61-80. Springer, (1997)Some Synchronization Issues When Designing Embedded Systems from Components.. EMSOFT, volume 2211 of Lecture Notes in Computer Science, page 32-49. Springer, (2001)Compositional and uniform modeling of hybrid systems.. IEEE Trans. Autom. Control., 43 (4): 579-584 (1998)