Zobrazeno 1 - 10
of 61
pro vyhledávání: '"Hans Svensson"'
Publikováno v:
Software: Practice and Experience. 53:1144-1173
Publikováno v:
Erlang Workshop
In this article we test an Erlang implementation of the Noise Protocol Framework, using a novel form of white-box testing. We extend interoperability testing of an Erlang enoise implementation against an implementation of Noise in C. Testing typicall
Autor:
Hans Svensson, Lars-Åke Fredlund
Publikováno v:
ICFP
Scopus-Elsevier
Scopus-Elsevier
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the language is by now being seen as a very capable platform for developing i
Publikováno v:
ICST Workshops
AUTOSAR (AUTomotive Open System ARchitecture) is an evolving standard for embedded software in vehicles, defined by the automotive industry, and implemented by many different vendors. On behalf of Volvo Cars, we have developed model-based acceptance
Publikováno v:
Radiotherapy and Oncology. 78:78-83
Background and purpose A geometric check procedure of the reconstruction techniques used in brachytherapy treatment planning systems was developed by the EQUAL (European Quality Laboratory) Laboratory in the framework of the ESTRO's (European Society
Publikováno v:
Nanotechnology. 14:675-679
We present a simple and controllable method for fabricating nano-apertures in a metal film using polystyrene nano-spheres as masks during the metal evaporation. We show how the processing conditions used during deposition of the spheres such as spin
Autor:
Jesus Maria Angélica Fernandes Sousa, Joran Rehn, Paul Cautreels, Ronny Smet, Gillian Hilton, Lex Stomp, Torunn Klemp, Torsten Enemaerke, Valerie Halstead, Leif and Svensson, Leo Leriche, Goran Linde, Hans Svensson, Marco Snoek, Gavin Baldwin, Elisabeth Nilsen, Kari Smith
Publikováno v:
European Journal of Teacher Education. 26:21-36
SUMMARY In this paper four scenarios are presented which illustrate possible futures of teacher education in Europe. These scenarios are the result of a project of Research and Development Centre 19 of the Association for Teacher Education in Europe.
Publikováno v:
Acta Oncologica. 42:366-375
A systematic assessment of radiotherapy for cancer was conducted by The Swedish Council on Technology Assessment in Health Care (SBU) in 2001. It included an overview of the organisation of radiotherapy and cancer care in Sweden and education of staf
Autor:
Anders Brahme, Hans Svensson
Publikováno v:
Biologically Optimized Radiation Therapy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::75af15d94d1564392e2f892f112a3c28
https://doi.org/10.1142/9789814277761_0008
https://doi.org/10.1142/9789814277761_0008
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319105567
SAFECOMP Workshops
SAFECOMP Workshops
Implementing AUTOSAR-based embedded systems that adhere to ISO 26262 is not trivial. High-level safety goals have to be refined to functional safety requirements and technical HW and SW safety requirements. SW safety requirements allocated to the app
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::34803ed496a010641b56690ff9d2ae4d
https://doi.org/10.1007/978-3-319-10557-4_4
https://doi.org/10.1007/978-3-319-10557-4_4