Zobrazeno 1 - 10
of 161
pro vyhledávání: '"Nyberg, Mattias"'
Publikováno v:
EPTCS 371, 2022, pp. 38-52
Stateflow models are complex software models, often used as part of industrial safety-critical software solutions designed with Matlab Simulink. Being part of safety-critical solutions, these models require the application of rigorous verification te
Externí odkaz:
http://arxiv.org/abs/2209.14028
Stateflow models are complex software models, often used as part of safety-critical software solutions designed with Matlab Simulink. They incorporate design principles that are typically very hard to verify formally. In particular, the standard exha
Externí odkaz:
http://arxiv.org/abs/2103.06248
Autor:
Olofsson, Johanna, Nyberg, Mattias
Bakgrund: Arbetsmiljölagen säger att man skall sträva efter en arbetsmiljö som ger ett rikt arbetsinnehåll, arbetstillfredsställelse, gemenskap och personlig utveckling. Forskningen har visat att missnöje med den fysiska eller psykosociala arb
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-89919
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Safety Science June 2021 138
Autor:
Nyberg, Mattias, Nordin, Patrik
Denna studie undersöker ett problem hos en butik ingående i en kedja därförsäljning av lagerförda varor utgör större delen av verksamheten. Det upplevda problemet är dock att försäljning av varor som faller utanför det lagerförda sortime
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-1734
Publikováno v:
In Journal of Industrial Information Integration September 2019 15:191-200
Publikováno v:
In Journal of Industrial Information Integration September 2019 15:58-68
Publikováno v:
In Control Engineering Practice April 2013 21(4):455-472