( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
PERTS: an environment for specification and verification of reactive systems: Reliability Engineering and System Safety, 71(3), 2001, 299-310.

, , и . Reliab. Eng. Syst. Saf., 72 (2): 223 (2001)

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.

Deusdedit R K Nkurunziza

Aman K K Bhasin

K Böhm

K Schweizerhof

K Schaber

 

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

Design of Controllers for Linear Hybrid Systems., и . ASIAN, том 1179 из Lecture Notes in Computer Science, стр. 309-320. Springer, (1996)Role of Apps in Undoing of Privacy Policies on Facebook., , и . DBSec, том 10980 из Lecture Notes in Computer Science, стр. 85-98. Springer, (2018)Malware: From Modelling to Practical Detection., , и . ICDCIT, том 5966 из Lecture Notes in Computer Science, стр. 21-39. Springer, (2010)Actors as a Coordinating Model of Computation (Extended Abstract)., и . Ershov Memorial Conference, том 1181 из Lecture Notes in Computer Science, стр. 191-202. Springer, (1996)Static Analysis of Real-time Distributed Systems., и . FTRTFT, том 331 из Lecture Notes in Computer Science, стр. 134-138. Springer, (1988)Specification and Realization of Access Control in SPKI/SDSI., и . ICISS, том 4332 из Lecture Notes in Computer Science, стр. 177-193. Springer, (2006)A Distributed Clustering Framework in Mobile Ad Hoc Networks., и . International Conference on Wireless Networks, стр. 32-38. CSREA Press, (2004)Specifying Dynamic Reat-Time Systems in CRP.. IFIP Congress (1), том A-51 из IFIP Transactions, стр. 75-80. North-Holland, (1994)Exception Handling in RT-CDL., и . Comput. Lang., 15 (3): 177-192 (1990)An Implementation of P and V., и . Inf. Process. Lett., 12 (4): 196-198 (1981)