( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Relating Hybrid Chi to Other Formalisms.

, , , , и . IFM Doctoral Symposium, том 191 из Electronic Notes in Theoretical Computer Science, стр. 85-113. Elsevier, (2005)

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.

Jacobus

Jacobus

Jacobus Flik

Jacobus Sinnema

Jacobus Hofstede

 

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

Model-Based Engineering of Supervisory Controllers using CIF., , , и . ECEASST, (2009)Analyzing a chi model of a turntable system using Spin, CADP and Uppaal., , , , , , , и . J. Log. Algebraic Methods Program., 65 (2): 51-104 (2005)Application of supervisory control theory to theme park vehicles., , , и . Discret. Event Dyn. Syst., 22 (4): 511-540 (2012)Supervisor Synthesis: Bridging Theory and Practice., , , , и . Computer, 55 (10): 48-54 (2022)Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems., , и . Autom., 48 (7): 1237-1247 (2012)Modeling and Analysis of Manufacturing Systems., и . Handbook of Dynamic System Modeling, Chapman and Hall/CRC, (2007)Integration and Test Sequencing for Complex Systems., , , , и . IEEE Trans. Syst. Man Cybern. Part A, 39 (1): 177-187 (2009)Hardware-in-the-loop Set-up for Supervisory Controllers with an Application: the Prinses Marijke Complex., , , и . CCTA, стр. 843-850. IEEE, (2019)State feedback control of switching server flowline with setups., , и . ACC, стр. 3618-3623. IEEE, (2007)Efficient nonconflict check by using automaton abstractions., , , и . ECC, стр. 1997-2002. IEEE, (2009)