( en | de | ru )

 

Disambiguation of "Jard, Claude"

Author of the publication

copydeleteadd this publication to your clipboard
System Test Synthesis from UML Models of Distributed Software.

, , , , , and . FORTE, volume 2529 of Lecture Notes in Computer Science, page 97-113. Springer, (2002)

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. You can also use the button next to the name to display some publications already assigned to the person.

Matthias Jardorf

José Vicente Jardim Camargo

Dániel Járdánházi-Kurutz

Pierre Jardin

Jean Jardiné

 

Other publications of authors with the same name

TGV: theory, principles and algorithms, and . Integrated Design & and Process Technology, IDPT 1, Society for Process & Design Sciences, (2002)Protocol engineering using UML, , , , and . (1999)Monitoring probabilistic SLAs in Web service orchestrations., , and . Integrated Network Management, page 474-481. IEEE, (2009)Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets., and . FORMATS, volume 3829 of Lecture Notes in Computer Science, page 196-210. Springer, (2005)3D Layout of Reachability Graphs of Communicating Processes., and . GD, volume 894 of Lecture Notes in Computer Science, page 25-32. Springer, (1994)Partial order diagnosability of discrete event systems using petri net unfoldings., , , and . CDC, page 3748-3753. IEEE, (2003)System Test Synthesis from UML Models of Distributed Software., , , , , and . FORTE, volume 2529 of Lecture Notes in Computer Science, page 97-113. Springer, (2002)Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA., , and . PSTV, page 315-331. North-Holland, (1985)Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems., , and . ICDCS Workshop on Distributed System Validation and Verification, page E67-E74. (2000)System Test Synthesis from UML Models of Distributed Software, , , , , and . FORTE, page 97-113. (2002)MR: Mittels UMLAUT wird die UML-Spezifikation in ein IOLTS überführt und durch das Testsynthesis-Tool TGV werden Testfälle abgeleitet. Auf diesem Ansatz baut auch der Ansatz von Nebut im SPL-Umfeld Nebut2002Nebut2003Nebut2006..