( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Hybrid Sequential Function Charts.

, и . MBMV, том 68 из Forschungsergebnisse zur Informatik, стр. 109-120. Verlag Dr. Kovac, (2012)

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.

Carl Nellen

Wolfgang Nellen

Helmut Nellen

Dieter Nellen

Nicole Nellen

 

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

Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis., , и . QAPL@ETAPS, том 250 из EPTCS, стр. 1-14. (2017)Hybrid Sequential Function Charts., и . MBMV, том 68 из Forschungsergebnisse zur Informatik, стр. 109-120. Verlag Dr. Kovac, (2012)Counterexample Generation for Hybrid Automata., , , и . FTSCS, том 419 из Communications in Computer and Information Science, стр. 88-106. Springer, (2013)A CEGAR approach for the reachability analysis of PLC-controlled chemical plants., и . IRI, стр. 500-507. IEEE Computer Society, (2014)A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs., , , , и . GCAI, том 36 из EPiC Series in Computing, стр. 196-214. EasyChair, (2015)Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development., , , , , и . FMICS, том 11687 из Lecture Notes in Computer Science, стр. 59-75. Springer, (2019)