( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model-Based Software Testing and Analysis with C\#

, , , и . Cambridge University Press, 1 издание, (2007)

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.

Wolfram Schulte

Wolfram Schulte

Wolfram Schulte

Wolfram Schulte

Wolfram Schulte

 

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

SPUR: A Trace-based JIT Compiler for CIL, , , , , , и . Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, стр. 708--725. ACM, (2010)Guest editorial for the special section on MODELS 2014., и . Softw. Syst. Model., 17 (1): 9-10 (2018)Spying on Components: A Runtime Verification Technique, и . Proc. of the Workshop on Specification and Verification of Component- Based Systems OOPSLA 2001, (2001)Automating Software Testing Using Program Analysis, , , , , , и . IEEE Software, 25 (5): 30-37 (2008)Generating finite state machines from abstract state machines, , , и . ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, стр. 112--122. New York, NY, USA, ACM Press, (2002)Automatic parallelization of programming languages: past, present and future., и . IWMSE@ICSE, стр. 1. ACM, (2010)VC generation for functional behavior and non-interference of iterators., , и . SAVCBS@FSE, стр. 67-70. ACM, (2006)From dependable multi-user to dependable multi-application operating systems: invited talk.. SecuCode@CCS, стр. 1-2. ACM, (2009)Model-Based Software Testing and Analysis with C\#, , , и . Cambridge University Press, 1 издание, (2007)Model-Based Software Testing and Analysis with C#, , , и . Cambridge University Press, Cambridge, (2008)