Paris, France
Paris, France

Time filter

Source Type

Klai K.,University Paris Nord
Proceedings - 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2015 | Year: 2015

This report gives a brief overview of the main concerns addressed by the authors at the third international track on Formal Verification of Service Based Systems, held at WETICE 2015 conference. A presentation of the main topics is given and then a summary of the paper accepted by this conference track is reported. © 2015 IEEE.


Klai K.,University Paris Nord
Proceedings - 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2016 | Year: 2016

This report gives a brief overview of the main concerns addressed by the authors at the fourth international track on Formal Verification of Service Based Systems, held at WETICE 2016 conference. A presentation of the main topics is given and then a summary of the paper accepted by this conference track is reported. © 2016 IEEE.


Klai K.,University Paris Nord
Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE | Year: 2014

This report gives a brief overview of the main concerns addressed by the authors at the second international track on Formal Verification of Service Based Systems, held at WETICE 2014 conference. A presentation of the main topics is given and then a summary of the paper accepted by this conference track is reported. © 2014 IEEE.

Loading University Paris Nord collaborators
Loading University Paris Nord collaborators