( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Extending Statecharts with Duration.

, и . COMPSAC, стр. 246-251. IEEE Computer Society, (1996)

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.

R P Salomons

H -P Schütt

P H Schmitt

-R H Hopf

Raymond Leung

 

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

Data scheduling for multi-item requests in multi-channel on-demand broadcast environments., , и . MobiDE, стр. 47-54. ACM, (2008)Accessing embedded program in untestable mobile environment: Experience of a trustworthiness approach., , и . J. Syst. Softw., 79 (7): 962-968 (2006)Deriving Test Cases from B Machines Using Class Vectors., и . MSVVEIS, стр. 71-76. INSTICC Press, (2005)A Synergistic Interweaving of Formal and Informal Methods., и . COMPSAC, стр. 257-262. IEEE Computer Society, (2003)A New Approach for Locating Mobile Stations under the Statistical Directional Propagation Model., , и . AINA (1), стр. 932-940. IEEE Computer Society, (2006)Locating Mobile Stations with Statistical Directional Propagation Model., , , и . AINA (1), стр. 230-235. IEEE Computer Society, (2004)Network Based Mobile Station Positioning in Metropolitan Area., , , , и . Euro-Par, том 2790 из Lecture Notes in Computer Science, стр. 1017-1026. Springer, (2003)Reversing concurrent systems into formal specifications., и . APSEC, стр. 229-234. IEEE, (1994)Model Checking Suspendible Business Processes via Statechart Diagrams and CSP., , , и . MSVVEIS, стр. 97-107. INSTICC Press, (2006)An Experience of continuous development - formulating requirements concurrently with system implementation.. IASTED Conf. on Software Engineering, стр. 218-223. IASTED/ACTA Press, (2004)