( 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.

Jean Paul

Nicolas Jeanvoine

Plasma-material interaction and electrode degradation in high voltage ignition discharges. Uni Saarbrücken, (2009)

Johann Jeanson

Helga Jeanblanc

Marc Jean-Richard-dit-Bressel

 

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

Towards the Automatic Verification of Atomic Memory Protocols., и . Parallel Process. Lett., 7 (1): 101-112 (1997)An Event-B Development Process for the Distributed BIP Framework., , , и . ICFEM, том 10009 из Lecture Notes in Computer Science, стр. 313-328. (2016)On the Automatic Validation of Parameterized Unity Programs., и . IPPS/SPDP Workshops, том 1388 из Lecture Notes in Computer Science, стр. 807-819. Springer, (1998)Multi-Core Code Generation from Polychronous Programs with Time-Predictable Properties., , и . ACVI@MoDELS, том 1233 из CEUR Workshop Proceedings, CEUR-WS.org, (2014)Formalizing the Relationship between Security Policies and Objectives in Software Architectures., , , и . ICSA-C, стр. 151-158. IEEE, (2023)Towards formalising AADL in Proof Assistants., , , и . FESCA@ETAPS, том 141 из Electronic Notes in Theoretical Computer Science, стр. 153-169. Elsevier, (2005)Modes in Asynchronous Systems., , , , и . ICECCS, стр. 282-287. IEEE Computer Society, (2008)Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software., , , , , , , , , и 2 other автор(ы). Synthesis of Embedded Software, Springer, (2010)A mapping from AADL to Java-RTSJ., , , , и . JTRES, стр. 165-174. ACM, (2007)Design of a BPEL Verification Tool., , и . WS-FM, том 7176 из Lecture Notes in Computer Science, стр. 95-110. Springer, (2011)