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

Filter your results

2 results
Image document

Logics for Petri Nets with Propagating Failures

Leandro Gomes , Alexandre Madeira , Mario Benevides
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.145-157, ⟨10.1007/978-3-030-31517-7_10⟩
Conference papers hal-03769133v1
Image document

Taming Hierarchical Connectors

José Proença , Alexandre Madeira
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.186-193, ⟨10.1007/978-3-030-31517-7_13⟩
Conference papers hal-03769113v1