Search

You searched for: Auteur Bensalem, Saddek Remove constraint Auteur: Bensalem, Saddek
1 - 4 of 4
Number of results to display per page

Search Results

1. Runtime Verification
thumbnail
Full text!
Author:
Legay, Axel; Bensalem, Saddek; Bensalem, Saddek
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
2. Verification and Evaluation of Computer and Communication Systems
thumbnail
Full text!
Author:
Atig; Bruno Monsuez; Saddek Bensalem; Simon Bliudze; Bensalem, Saddek; Bliudze, Simon; Monsuez, Bruno
Publisher:
Springer International Publishing 2018
Format:
e-book
3. Runtime Verification
thumbnail
Full text!
Author:
Bensalem, Saddek; Kanade, Takeo; Peled, Doron A.; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book
4. From Programs to Systems. The Systems perspective in Computing
thumbnail
Full text!
Author:
Saddek Bensalem, Yassine Lakhneck, Axel Legay; Lakhnech, Yassine; Legay, Axel
Publisher:
Springer Berlin Heidelberg 2014
Format:
e-book