Profil

Nom: Latreche

Titre	Auteurs	DOI/URL
Timed CTL checking of time critical cloud applications using timed bigraphs	Latreche Fateh	Consulter
A layered Petri net model to formally analyse time critical web service composition	Latreche Fateh	Consulter

Titre	DOI/URL	Type
Vers l’Intégration des Propriétés non Fonctionnelles dans le Langage SADL	Consulter	Conférence
AADL behavioral annex based on generalized rewriting logic	Consulter	Conférence
Clinical Pathways Formal Modelling Using Bigraphical Reactive Systems	Consulter	Conférence
Toward a rewriting logic framework for safe and distributed component installation	Consulter	Conférence
A Novel Semantic Framework for Analyzing Dynamic Web Services.	Consulter	Conférence