Lutess: a specification-driven testing environment for synchronous software von du Bousquet, L., Ouabdesselam, F., Richier, J.-L., Zuanon, N.

Volltext

Aulnat (Puy-de-Dôme). 2a cours de la Liberté von Richier, Anne

Volltext

Feature interaction detection using a synchronous approach and testing von du Bousquet, L., Ouabdesselam, F., Richier, J.-L., Zuanon, N.

Volltext

Saint-Tropez (Var). Maison de retraite Les Platanes, 12 rue A. Grangeon von Richier, Anne

Volltext

Expressing and implementing operational profiles for reactive software validation von du Bousquet, L., Ouabdesselam, F., Richier, J.-L.

Volltext

What are the limits of model checking methods for the verification of real life protocols? von Graf, S., Richier, J.-L., Rodríguez, C., Voiron, J.

Volltext

Tarascon (Bouches-du-Rhône). Abbaye Saint-Michel du Frigolet von Richier, Anne

Volltext

Valensole (Alpes-de-Haute-Provence). La Baisse de Sainte-Anne von Richier, Anne

Volltext

Homomorphism equivalence on etol languages von Culik, K., Richier, J.L.

Volltext

Testing Against Some Eventuality Properties of Synchronous Software: A Case Study von du Bousquet, L., Ouabdesselam, F., Richier, J.-L., Zuanon, N.

Volltext

Marseille (Bouches-du-Rhone). 165 rue Sainte, 5-7 rue du Commandant Lamy von Richier, Anne

Volltext

Active replication in Delta-4 von Chereque, M., Powell, D., Reynier, P., Richier, J.-L., Voiron, J.

Volltext bestellen

Security testing techniques von Richier, J.-L

Volltext bestellen

Security Vulnerabilities Detection Using Model Inference for Applications and Security Protocols von Hossen, K., Groz, R., Richier, J. L.

Volltext bestellen

Intervention Ludwig Van Beethoven

Volltext bestellen

Interview Ludwig Van Beethoven

Volltext bestellen

Test generation and execution for security rules in temporal logic von Darmaillacq, V., Richier, J.-L., Groz, R.

Volltext bestellen

Human epidemic of cow-pox in Britain von LEROY, D, BIZAIS, J, RICHIER-CHEVREL, M E, RICHIER, J L

Volltext

A case of cleido-cranio-pelvic dysostosis; Pierre Maire-Sainton's disease von LEROY, D, GUERNIOU, H, RICHIER-CHEVREL, M E, RICHIER, J L

Volltext

Une promenade en forêt

Volltext bestellen