( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Integer Programming in the Analysis of Concurrent Systems.

, , и . CAV, том 575 из Lecture Notes in Computer Science, стр. 92-102. Springer, (1991)

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.

Ugo Marchand

Ugo Gentile

Ugo Merkli

Ugo Negretto

Ugo Tricoli

 

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

Experiments with an Improved Constrained Expression Toolset., , , , и . Symposium on Testing, Analysis, and Verification, стр. 178-187. ACM, (1991)Modeling and Analysis of a Virtual Reality System with Time Petri Nets., , , и . ICSE, стр. 33-42. IEEE Computer Society, (1998)A Framework for the Efficient Production of Web Applications., и . ISCC, стр. 419-424. IEEE Computer Society, (2003)Compiling process algebraic specifications into timed automata., , и . COMPSAC, стр. 338-343. IEEE Computer Society, (1997)Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings., , , , и . IEEE Trans. Syst. Man Cybern. Part A, 41 (3): 522-539 (2011)Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset., и . Autom. Softw. Eng., 8 (3-4): 227-273 (2001)Integer Programming in the Analysis of Concurrent Systems., , и . CAV, том 575 из Lecture Notes in Computer Science, стр. 92-102. Springer, (1991)Probabilistic Macro-Architectural Decision Framework., , и . ECSA Workshops, стр. 27:1-27:8. ACM, (2014)Testing Database-Centric Applications for Causes of Database Deadlocks., , и . ICST, стр. 174-183. IEEE Computer Society, (2013)Automated Testing of Classes., , и . ISSTA, стр. 39-48. ACM, (2000)