( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Contract-based design of control protocols for safety-critical cyber-physical systems.

, , , и . DATE, стр. 1-4. European Design and Automation Association, (2014)

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.

Valerio Sangiovanni

Alberto Moreira

Alberto Coda

Alberto Fierro

Alberto Botti

 

Другие публикации лиц с тем же именем

Performance analysis of collaborative spatio-temporal processing for wireless sensor networks., , , , и . CCNC, стр. 325-329. IEEE, (2006)Solution of piecewise-linear ordinary differential equations using waveform relaxation and laplace transforms., и . IEEE Trans. Syst. Man Cybern., 13 (4): 465-469 (1983)A new simulation metric to determine safe environments and controllers for systems with unknown dynamics., , , , и . HSCC, стр. 185-196. ACM, (2019)A Detailed Router Based on Incremental Routing Modifications: Mighty., и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 6 (6): 942-955 (1987)Explicit and implicit algorithms for binate covering problems., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 16 (7): 677-691 (1997)NOVA: state assignment of finite state machines for optimal two-level logic implementation., и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 9 (9): 905-924 (1990)A synthesis and optimization procedure for fully and easily testable sequential machines., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 8 (10): 1100-1107 (1989)Techniques for multilayer channel routing., , , , , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 7 (6): 698-712 (1988)System-level design: orthogonalization of concerns andplatform-based design., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 19 (12): 1523-1543 (2000)A One-Class Support Vector Machine Calibration Method for Time Series Change Point Detection., , , , и . ICPHM, стр. 1-5. IEEE, (2019)