( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Integration of Formal Analysis into a Model-Based Software Development Process.

, , , , и . FMICS, том 4916 из Lecture Notes in Computer Science, стр. 68-84. 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.

Bruce H Behrens

Wallace Kwesi Bruce-Tamakloe

Cecil Bruce-Boye

Georg-Friedrich Krogh

Willy Gunner Krogh-Poulsen

 

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

Kinematics and open-loop control of an ilonator-based mobile platform., , и . ICRA, стр. 346-351. IEEE, (1985)Integration of Formal Analysis into a Model-Based Software Development Process., , , , и . FMICS, том 4916 из Lecture Notes in Computer Science, стр. 68-84. Springer, (2007)From Analysis to Design.. FORMATS, том 4763 из Lecture Notes in Computer Science, стр. 4. Springer, (2007)Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems., , и . Hybrid Systems, том 1066 из Lecture Notes in Computer Science, стр. 475-484. Springer, (1995)Reachability analysis of hybrid control systems using reduced-order models., и . ACC, стр. 1183-1189. IEEE, (2004)Design of Software Rejuvenation for CPS Security Using Invariant Sets., , и . ACC, стр. 3740-3745. IEEE, (2019)Saturation-induced instability in electric power systems., , и . ACC, стр. 580-585. IEEE, (2008)Decentralized identification of building models., и . ACC, стр. 1070-1075. IEEE, (2014)Formal verification of Statecharts using finite-state model checkers., и . ACC, стр. 313-318. IEEE, (2001)Passivity-based robust control for power systems subject to wind power variability., , и . ACC, стр. 4149-4154. IEEE, (2011)