( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal verification of Statecharts using finite-state model checkers.

, и . ACC, стр. 313-318. IEEE, (2001)

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

 

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

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)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)A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata., , и . HSCC, том 4981 из Lecture Notes in Computer Science, стр. 187-200. Springer, (2008)Resilient Control in the Presence of Man-in-the-Middle Attacks., , , и . ACC, стр. 4553-4560. IEEE, (2021)Heterogeneous verification of cyber-physical systems using behavior relations., и . HSCC, стр. 35-44. ACM, (2012)Saturation-induced instability in electric power systems., , и . ACC, стр. 580-585. IEEE, (2008)Decentralized identification of building models., и . ACC, стр. 1070-1075. IEEE, (2014)Reachability analysis of hybrid control systems using reduced-order models., и . ACC, стр. 1183-1189. IEEE, (2004)