Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Mark Bouwman"'
Publikováno v:
Frontiers in Materials, Vol 7 (2020)
Overmolding is a technology in which a thermoplastic composite laminate is thermoformed and subsequently injection overmolded. This near-net-shape manufacturing process is well suited for automated large series production of complex 3D structures wit
Externí odkaz:
https://doaj.org/article/eb7a2fd410ca48b68334482c81d715af
Publikováno v:
Formal aspects of computing, 35(1):2. Springer
We present a case study on the application of formal methods in the railway domain. The case study is part of the FormaSig project, which aims to support the development of EULYNX — a European standard defining generic interfaces for railway equipm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bc98331535fb2afbee1eca70bf58b01c
https://doi.org/10.1145/3528207
https://doi.org/10.1145/3528207
Publikováno v:
Acta Informatica, 57(3-5), 551-590. Springer
We enrich the operational semantics of a simple process calculus with ACP-style communication with a concurrency relation, so that for every process expression there exists an associated notion of just path. We then present sufficient conditions on t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d82657e87b32e90f431d81f5656f4852
https://research.tue.nl/en/publications/efffc993-3c92-4c64-96d4-f91a68117b0f
https://research.tue.nl/en/publications/efffc993-3c92-4c64-96d4-f91a68117b0f
Publikováno v:
EXPRESS/SOS
In standard process algebra, parallel components do not share a common state and communicate through synchronisation. The advantage of this type of communication is that it facilitates compositional reasoning. For modelling and analysing systems in w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::722a593b4c1780c683dae01d9eae5a9b
https://doi.org/10.4204/eptcs.322.5
https://doi.org/10.4204/eptcs.322.5
Publikováno v:
Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings, 12719, 42-59
Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783030780883
FORTE
Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783030780883
FORTE
This paper reports on a formalisation of the semi-formal modelling language SysML in the formal language mCRL2, in order to unlock formal verification and model-based testing using the mCRL2 toolset for SysML models. The formalisation focuses on a fr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6e252eefe5d9e77596c606c09ad673a6
https://research.utwente.nl/en/publications/eed84a92-ef09-4191-9c77-256c9a5623e1
https://research.utwente.nl/en/publications/eed84a92-ef09-4191-9c77-256c9a5623e1
Publikováno v:
Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783030780883
FORTE
FORTE
Recent work by van Glabbeek and coauthors suggests that the liveness property for Peterson’s mutual exclusion algorithm, which states that any process wanting to enter the critical section will eventually enter it, cannot be analysed in CCS and rel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d7886a682b170f1f0be4df9aab860755
https://doi.org/10.1007/978-3-030-78089-0_11
https://doi.org/10.1007/978-3-030-78089-0_11