Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

4 results
labStructName_s : Mathématiques et Informatique pour la Complexité et les Systèmes
labStructName_s : Computer Learning Research Centre [Royal Holloway, University of London]
Page :
sorted by
Image document

(In)finite Trace Equivalence of Probabilistic Transition Systems

 Alexandre Goy , Jurriaan Rot
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.100-121, ⟨10.1007/978-3-030-00389-0_7⟩
Conference papers hal-02044641v1
Image document

A Timed Component Algebra for Services

 Benoît Delahaye , José Luiz Fiadeiro , Axel Legay , Antónia Lopes
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.242-257, ⟨10.1007/978-3-642-38592-6_17⟩
Conference papers hal-01515250v1
Image document

Constraint-Based Oracles for Timed Distributed Systems

 Nassim Benharrat , Christophe Gaston , Robert M. Hierons , Arnault Lapitre , Pascale Le Gall
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩
Conference papers hal-01678964v1

Testing Software and Systems

 Christophe Gaston , Nikolai Kosmatov , Pascale Le Gall
Springer International Publishing, LNCS-11812, 2019, Lecture Notes in Computer Science, 978-3-030-31279-4. ⟨10.1007/978-3-030-31280-0⟩
Books hal-02526347v1
Page :