( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
TransM: A Structured Document Transformation Model.

, , и . ISTA, том P-48 из LNI, стр. 53-66. GI, (2004)

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

 

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

On the Automatic Validation of Parameterized Unity Programs., и . IPPS/SPDP Workshops, том 1388 из Lecture Notes in Computer Science, стр. 807-819. Springer, (1998)An Event-B Development Process for the Distributed BIP Framework., , , и . ICFEM, том 10009 из Lecture Notes in Computer Science, стр. 313-328. (2016)Towards the Automatic Verification of Atomic Memory Protocols., и . Parallel Process. Lett., 7 (1): 101-112 (1997)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)Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software., , , , , , , , , и 2 other автор(ы). Synthesis of Embedded Software, Springer, (2010)Modes in Asynchronous Systems., , , , и . ICECCS, стр. 282-287. IEEE Computer Society, (2008)Towards formalising AADL in Proof Assistants., , , и . FESCA@ETAPS, том 141 из Electronic Notes in Theoretical Computer Science, стр. 153-169. Elsevier, (2005)Design of a BPEL Verification Tool., , и . WS-FM, том 7176 из Lecture Notes in Computer Science, стр. 95-110. Springer, (2011)A mapping from AADL to Java-RTSJ., , , , и . JTRES, стр. 165-174. ACM, (2007)