( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Heuristic-Based Model Refinement for FLAVERS.

, , и . ICSE, стр. 635-644. IEEE Computer Society, (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.

George S Levit

George Mertzios

Combinatorial optimization and recognition of graph classes with applications to related models. TU Aachen, (2009)

S Ulrich

S Bachmann

S Hilt

 

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

Verification support for plug-and-play architectural design., , и . ROSATEA, стр. 49-50. ACM, (2006)Analyzing Partially-Implemented Real-Time Systems., , и . ICSE, стр. 228-238. ACM, (1997)Managing space for finite-state verification., , и . ICSE, стр. 152-161. ACM, (2006)Improving the precision of INCA by preventing spurious cycles., и . ISSTA, стр. 191-200. ACM, (2000)An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report., , и . Business Process Management Workshops, том 43 из Lecture Notes in Business Information Processing, стр. 647-653. Springer, (2009)Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview., , , , , , , , и . IHI, стр. 316-325. ACM, (2010)Heuristic-Based Model Refinement for FLAVERS., , и . ICSE, стр. 635-644. IEEE Computer Society, (2004)An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language., , , , и . SEKE, стр. 765-770. Knowledge Systems Institute Graduate School, (2010)Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning., , и . ACM Trans. Softw. Eng. Methodol., 17 (2): 7:1-7:52 (2008)Plug-and-Play Architectural Design and Verification., , и . WADS, том 5135 из Lecture Notes in Computer Science, стр. 273-297. Springer, (2007)