Documents dont l'auteur est "Seidner, Charlotte"

Grouper par: Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement

Aller à : B

Nombre de documents: 2

B

Boucheneb, H., Lime, D., Roux, O. H., & Seidner, C. (juin 2018). Optimal-cost reachability analysis based on time petri nets [Communication écrite]. 18th International Conference on Application of Concurrency to System Design (ACSD 2018), Bratislava, Slovakia. Lien externe

Boucheneb, H., Lime, D., Parquier, B., Roux, O. H., & Seidner, C. (septembre 2017). Optimal reachability in cost time Petri nets [Communication écrite]. 15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2017), Berlin, Germany. Lien externe

Liste produite: Thu Apr 25 04:48:16 2024 EDT.

Pour citer ou exporter	Atom RSS 1.0 RSS 2.0