( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Control of homogeneous charge compression ignition (HCCI) engine dynamics.

, , , , и . ACC, стр. 4048-4053. IEEE, (2004)

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.

Tomas Bengtsson

Wolfgang Bengtsson

Luiza Bengtsson

Jerker Bengtsson

Johan Waern

 

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

UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems., , , , и . Hybrid Systems, том 1066 из Lecture Notes in Computer Science, стр. 232-243. Springer, (1995)Verification of an Audio Protocol with Bus Collision Using UPPAAL., , , , , , и . CAV, том 1102 из Lecture Notes in Computer Science, стр. 244-256. Springer, (1996)UPPAAL in 1995., , , , и . TACAS, том 1055 из Lecture Notes in Computer Science, стр. 431-434. Springer, (1996)Timed Automata: Semantics, Algorithms and Tools., и . Lectures on Concurrency and Petri Nets, том 3098 из Lecture Notes in Computer Science, стр. 87-124. Springer, (2003)Partial Order Reductions for Timed Systems., , , и . CONCUR, том 1466 из Lecture Notes in Computer Science, стр. 485-500. Springer, (1998)Control of homogeneous charge compression ignition (HCCI) engine dynamics., , , , и . ACC, стр. 4048-4053. IEEE, (2004)On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata., и . ICFEM, том 2885 из Lecture Notes in Computer Science, стр. 491-503. Springer, (2003)Automated verification of an audio-control protocol using UPPAAL., , , , , , и . J. Log. Algebraic Methods Program., (2002)Modeling of HCCI engine combustion for control analysis., , и . CDC, стр. 1682-1687. IEEE, (2004)Uppaal --- a Tool Suite for Automatic Verification of Real--Time Systems, , , , и . Proc.\ of Workshop on Verification and Control of Hybrid Systems III, 1066, стр. 232--243. Springer, (октября 1995)