Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Victor Bos"'
Publikováno v:
ISSRE Workshops
In this paper, we present lessons learned from the EagleEye Time and Space Partitioning (TSP) project in which time and space partitioning was applied to the EagleEye reference mission of European Space Agency (ESA). We identify challenges in EagleEy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ffd3ceb0acb8559dfadf060adbddd278
https://doi.org/10.1109/issrew.2016.49
https://doi.org/10.1109/issrew.2016.49
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319454764
SAFECOMP
SAFECOMP
The use of formal methods has been recognized in different domains as a potential means for early validation and verification. However, correctly specifying formal properties is difficult due to the ambiguity of the typical textual requirements and t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4a63543e530c6a6d3465468a00de6841
https://doi.org/10.1007/978-3-319-45477-1_8
https://doi.org/10.1007/978-3-319-45477-1_8
Autor:
V Victor Bos, Jjt Jeroen Kleijn
Publikováno v:
Formal Aspects of Computing, 15(4), 370-389. Springer
This paper describes the redesign of a systems engineering language called χ. This is an engineering language designed to specify and analyse industrial systems. The main objective of this redesign was to enable mathematical reasoning about χ speci
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8649b827030a434762be77c034022269
https://doi.org/10.1007/s00165-003-0017-2
https://doi.org/10.1007/s00165-003-0017-2
Autor:
Jjt Jeroen Kleijn, V Victor Bos
Publikováno v:
International Journal of Production Research, 40(15), 3879-3894. Taylor and Francis Ltd.
This paper discusses how formal methods can be integrated with existing simulation techniques to specify and analyse production systems. Simulation is very well suited for performance analysis of production systems, such as cycle time or throughput a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::61b4800e7f331b5c1b3f7244f0050173
https://research.tue.nl/en/publications/7da6dc94-9dea-42a8-9ed9-f0015a5039d6
https://research.tue.nl/en/publications/7da6dc94-9dea-42a8-9ed9-f0015a5039d6
Autor:
Jjt Jeroen Kleijn, V Victor Bos
Publikováno v:
Robotics and Computer-Integrated Manufacturing, 17(3), 185-198. Elsevier
Due to increasing complexity and costs involved, powerful techniques are needed to analyse manufacturing systems. In order to improve these techniques, which are often based on simulation, our research focuses on application of formal methods to manu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::76f97ee906c7c26d77f89bb17d8e14f1
https://doi.org/10.1016/S0736-5845(00)00027-2
https://doi.org/10.1016/S0736-5845(00)00027-2
Autor:
Karel F. A. Van Damme, Simon Tavernier, Nele Van Roy, Elisabeth De Leeuw, Jozefien Declercq, Cédric Bosteels, Bastiaan Maes, Marieke De Bruyne, Delfien Bogaert, Victor Bosteels, Levi Hoste, Leslie Naesens, Piet Maes, Alba Grifoni, Daniela Weiskopf, Alessandro Sette, Pieter Depuydt, Eva Van Braeckel, Filomeen Haerynck, Bart N. Lambrecht
Publikováno v:
Frontiers in Immunology, Vol 11 (2020)
The disease course of COVID-19 in patients with immunodeficiencies is unclear, as well as the optimal therapeutic strategy. We report a case of a 37-year old male with common variable immunodeficiency disorder and a severe SARS-CoV-2 infection. After
Externí odkaz:
https://doaj.org/article/4e27c072f0c941c6a4ac764eeba62981
Autor:
Victor Bos, Jeroen Kleijn
Publikováno v:
Formal Aspects of Computing; Dec2003, Vol. 15 Issue 4, p370-389, 20p