PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Jard, Claude"

Author of the publication

copydeleteadd this publication to your clipboard
UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks.

, , and . ICT, volume 3124 of Lecture Notes in Computer Science, page 841-847. Springer, (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. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Jard, Claude
add a person with the name Jard, Claude
 

Other publications of authors with the same name

3D Layout of Reachability Graphs of Communicating Processes., and . Graph Drawing, volume 894 of Lecture Notes in Computer Science, page 25-32. Springer, (1994)UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks., , and . ICT, volume 3124 of Lecture Notes in Computer Science, page 841-847. Springer, (2004)System Test Synthesis from UML Models of Distributed Software., , , , , and . FORTE, volume 2529 of Lecture Notes in Computer Science, page 97-113. Springer, (2002)Coverability Synthesis in Parametric Petri Nets., , , and . CONCUR, volume 85 of LIPIcs, page 14:1-14:16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2017)The Impact of Initial Delays in OSPF Routing., , and . ICETE (Selected Papers), volume 456 of Communications in Computer and Information Science, page 37-57. Springer, (2013)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)Monitoring probabilistic SLAs in Web service orchestrations., , and . Integrated Network Management, page 474-481. IEEE, (2009)Testing for Unboundedness of FIFO Channels., and . Theor. Comput. Sci., 113 (1): 93-117 (1993)Optimizing Decisions in Web Services Orchestrations., , and . ICSOC, volume 7084 of Lecture Notes in Computer Science, page 77-91. Springer, (2011)Testing Input/Output Partial Order Automata., , and . TestCom/FATES, volume 4581 of Lecture Notes in Computer Science, page 171-185. Springer, (2007)