Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Laboratoire des Sciences du Numérique de Nantes
labStructName_s : Mathématiques et Informatique pour la Complexité et les Systèmes
Image document

Solving an Integration Process Planning and Scheduling in a Flexible Job Shop Using a Hybrid Approach

Nassima Keddari , Nasser Mebarki , Atif Shahzad , Zaki Sari
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.387-398, ⟨10.1007/978-3-319-89743-1_34⟩
Conference papers hal-01913923v1
Image document

(In)finite Trace Equivalence of Probabilistic Transition Systems

Alexandre Goy , Jurriaan Rot
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.100-121, ⟨10.1007/978-3-030-00389-0_7⟩
Conference papers hal-02044641v1