( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Concurrent Runtime Checking of Annotated Ada Programs.

, , и . FSTTCS, том 241 из Lecture Notes in Computer Science, стр. 10-35. Springer, (1986)

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.

Dávid Felh s

Dávid Felh s

David S Hasselbrook

David S Gerber

Leon Rosenblum

 

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

1st international workshop on the engineering of mobile-enabled systems (MOBS 2013)., , , , , и . ICSE, стр. 1533-1534. IEEE Computer Society, (2013)A framework for modelling and analysis of software systems scalability., , и . ICSE, стр. 949-952. ACM, (2006)Component Metadata for Software Engineering Tasks., , и . EDO, том 1999 из Lecture Notes in Computer Science, стр. 129-144. Springer, (2000)A Non-Parametric Generative Model for Human Trajectories., , , и . IJCAI, стр. 3812-3817. ijcai.org, (2018)Directed Graph Convolutional Network., , , , и . CoRR, (2020)Testing the Correctness of Tasking Supervisors with TSL Specifications., и . Symposium on Testing, Analysis, and Verification, стр. 187-196. ACM, (1989)Detecting problematic message sequences and frequencies in distributed systems., , и . OOPSLA, стр. 915-926. ACM, (2012)A Design Framework for Internet-Scale Event Observation and Notification., и . ESEC / SIGSOFT FSE, том 1301 из Lecture Notes in Computer Science, стр. 344-360. Springer, (1997)Efficient LTL Decentralized Monitoring Framework Using Formula Simplification Table., , и . CoRR, (2018)Foreword to state-of-the-art presentations., и . ESEC/SIGSOFT FSE, стр. 437. ACM, (2007)