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

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : ComNets
labStructName_s : Departamento Sistemas Informáticos y Computación [Madrid]
Image document

Input-Output Conformance Simulation (iocos) for Model Based Testing

Carlos Gregorio-Rodríguez , Luis Llana , Rafael Martínez-Torres
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.114-129, ⟨10.1007/978-3-642-38592-6_9⟩
Conference papers hal-01515238v1
Image document

Addressing the Challenges of E-Healthcare in Future Mobile Networks

Safdar Khan Marwat , Thomas Pötsch , Yasir Zaki , Thushara Weerawardane , Carmelita Görg
19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.90-99, ⟨10.1007/978-3-642-40552-5_9⟩
Conference papers hal-01497053v1