( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Verification of AADL Specifications in the Topcased Environment.

, , , , , и . Ada-Europe, том 5570 из Lecture Notes in Computer Science, стр. 207-221. Springer, (2009)

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.

Jérémy Berthomieu

Dirk Bernard

Bernard Andreae

Bernard Willkofer

Bernard Broermann

 

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

An Experiment on Parallel Model Checking of a CTL Fragment., , и . ATVA, том 7561 из Lecture Notes in Computer Science, стр. 284-299. Springer, (2012)Process Calculi at Work - An Account of the LCS Project.. PSLS, том 1068 из Lecture Notes in Computer Science, стр. 344-361. Springer, (1995)Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina., , и . CoRR, (2015)Presentation of the 9th Edition of the Model Checking Contest., , , , , , , , , и 9 other автор(ы). TACAS (3), том 11429 из Lecture Notes in Computer Science, стр. 50-68. Springer, (2019)Sleptsov nets are Turing-complete., и . Theor. Comput. Sci., (февраля 2024)Modeling and Verification of Time Dependent Systems Using Time Petri Nets., и . IEEE Trans. Software Eng., 17 (3): 259-273 (1991)Time Petri Nets Analysis with TINA., и . QEST, стр. 123-124. IEEE Computer Society, (2006)An Enumerative Approach for Analyzing Time Petri Nets., и . IFIP Congress, стр. 41-46. North-Holland/IFIP, (1983)Graphical program transformations for embedded systems., , , , , и . SAC, стр. 647-649. ACM, (2019)Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction., , и . ISPDC, стр. 9-16. IEEE Computer Society, (2011)