Search - IFIP Open Digital Library Access content directly

Filter your results

5 results
Structure: Internal structure identifier : 301789
Page :
sorted by

Descriptional Complexity of Formal Systems

 Cezar Câmpeanu , Florin Manea , Jeffrey Shallit
Springer International Publishing, LNCS-9777, 2016, Lecture Notes in Computer Science, 978-3-319-41113-2. ⟨10.1007/978-3-319-41114-9⟩
Books hal-01633947v1

Descriptional Complexity of Formal Systems

 Giovanni Pighizzini , Cezar Câmpeanu
Springer International Publishing, LNCS-10316, 2017, Lecture Notes in Computer Science, 978-3-319-60251-6. ⟨10.1007/978-3-319-60252-3⟩
Books hal-01656999v1
Image document

Investigating the Effectiveness of a Causal MBSE Software Tool in Modelling CubeSat Conceptual Design Data

 Stephen Peters , Clement Fortin , Grant Mcsorley
18th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2021, Curitiba, Brazil. pp.128-142, ⟨10.1007/978-3-030-94399-8_10⟩
Conference papers hal-04195218v1
Image document

A Novel Approach to Product Lifecycle Management and Engineering Using Behavioural Models for the Conceptual Design Phase

 Stephen Peters , Clement Fortin , Grant Mcsorley
16th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2019, Moscow, Russia. pp.159-169, ⟨10.1007/978-3-030-42250-9_15⟩
Conference papers hal-04444751v1
Image document

Study of Data Structures and Tools for the Concurrent Conceptual Design of Complex Space Systems

 Clément Fortin , Grant Mcsorley , Dominik Knoll , Alessandro Golkar , Ralina Tsykunova
14th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2017, Seville, Spain. pp.601-611, ⟨10.1007/978-3-319-72905-3_53⟩
Conference papers hal-01764218v1
Page :