Search - Fundamentals of Software Engineering Access content directly

Filter your results

2 results
Image document

Checking Compatibility of Web Services Behaviorally

Kais Klai , Hanen Ochi
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.267-282, ⟨10.1007/978-3-642-40213-5_17⟩
Conference papers hal-01514668v1
Image document

Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems

Abdeldjalil Boudjadar , Frits Vaandrager , Jean-Paul Bodeveix , M Filali
5th International Conference on Fundamentals of Software Engineering (FSEN 2013), Apr 2013, Tehran, Iran. pp.111-132, ⟨10.1007/978-3-642-40213-5_8⟩
Conference papers hal-01231765v1