المؤلفون: Johan Jakobsson, Chris Burtin, Mattias Hedlund, Carl-Johan Boraxbekk, Jonas Westman, Nina Karalija, Per Stål, Thomas Sandström, David Ruttens, Harry R. Gosker, Jana De Brandt, André Nyberg

المصدر: Trials, Vol 25, Iss 1, Pp 1-38 (2024)

مصطلحات موضوعية: High-intensity interval training, Pulmonary disease, Chronic obstructive, Randomized controlled trial, Aerobic exercise, Cognitive aspects, Neurodegeneration, Medicine (General), R5-920

وصف الملف: electronic resource

Relation: https://doaj.org/toc/1745-6215

URL الوصول: https://doaj.org/article/c7d6ecad949a45d3b12e37a25f812c9e

المؤلفون: Jonas Westman, Mattias Nyberg

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://hal.archives-ouvertes.fr/docs/00/84/86/10/PDF/9_Westman_J_-_A_Reference_Example_on_the_Specification_of_Safety_Requirements_using_ISO_26262.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.372.2716; http://hal.archives-ouvertes.fr/docs/00/84/86/10/PDF/9_Westman_J_-_A_Reference_Example_on_the_Specification_of_Safety_Requirements_using_ISO_26262.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.372.2716
http://hal.archives-ouvertes.fr/docs/00/84/86/10/PDF/9_Westman_J_-_A_Reference_Example_on_the_Specification_of_Safety_Requirements_using_ISO_26262.pdf

المؤلفون: Joakim Gustavsson, Jonas Westman, Dilian Gurov, Mattias Nyberg

المصدر: Science of Computer Programming. 146:2-27

مصطلحات موضوعية: Enterprise architecture framework, Programming language, Computer science, Solution architecture, 020207 software engineering, 02 engineering and technology, Architecture modeling, computer.software_genre, Applications architecture, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Reference architecture, Data architecture, Architecture, computer, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b45113f85ecc1016e7f40b5d2b960189
https://doi.org/10.1016/j.scico.2017.03.007

المؤلفون: Dilian Gurov, Mattias Nyberg, Jonas Westman

المصدر: Lecture Notes in Computer Science ISBN: 9783030614669
ISoLA (3)

مصطلحات موضوعية: Life-critical system, Cover (topology), Programming language, Computer science, Semantics (computer science), Principle of compositionality, Component (UML), Contrast (statistics), computer.software_genre, computer, Composition (language), Natural language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e410ae4e68d452a6c5d82d06e543a3a2
https://doi.org/10.1007/978-3-030-61467-6_22

المؤلفون: Jonas Westman, Damir Nešić, Mattias Nyberg, Jad El-khoury

المصدر: iiWAS

مصطلحات موضوعية: Federated Architecture, Cover (telecommunications), business.industry, Computer science, 010401 analytical chemistry, 05 social sciences, 01 natural sciences, Toolchain, 0104 chemical sciences, Application lifecycle management, 0502 economics and business, Web application, Architecture, business, Software engineering, 050203 business & management

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ec6bfa95b97054b667bd5a54d98ec109
https://doi.org/10.1145/3366030.3366043

المؤلفون: Dilian Gurov, Jonas Westman

المصدر: Principled Software Development ISBN: 9783319980461
Principled Software Development

مصطلحات موضوعية: Soundness, Computer science, Programming language, Contract theory, 020207 software engineering, Context (language use), 02 engineering and technology, Hoare logic, computer.software_genre, Sketch, Denotational semantics, Simple (abstract algebra), TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Computer Science::Programming Languages, Formal development, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::bc66161b979bd39564d9bba5665f8a94
https://doi.org/10.1007/978-3-319-98047-8_8

المؤلفون: Mattias Nyberg, Jonas Westman

المصدر: Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783319926117
FORTE

مصطلحات موضوعية: Discrete mathematics, Computer science, Component (thermodynamics), Contrast (statistics), 020207 software engineering, Context (language use), Monotonic function, 02 engineering and technology, Machine design, Composition (combinatorics), Satisfiability, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Embedding

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ae995d722403d2b4cd8fe34b660d6d23
https://doi.org/10.1007/978-3-319-92612-4_10

المؤلفون: Jonas Westman, Mattias Nyberg

مصطلحات موضوعية: Functional safety, Engineering, 021103 operations research, Requirements engineering, business.industry, Mechanical Engineering, 0211 other engineering and technologies, Industrial setting, 020207 software engineering, IEC 61508, 02 engineering and technology, Structuring, Maskinteknik, Life-critical system, 0202 electrical engineering, electronic engineering, information engineering, Systems architecture, Systems engineering, Architecture, business, Software, Information Systems

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a63af83b37862906c8154e121d6072f6
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-192376

المؤلفون: Mattias Nyberg, Jonas Westman, Dilian Gurov, Andreas Rasmusson, Christian Lidström

المصدر: Lecture Notes in Computer Science ISBN: 9783030034269
ISoLA (4)

مصطلحات موضوعية: Process management, Computer science, business.industry, Process (engineering), Scale (chemistry), Enabling Factors, Automotive industry, Software development, 020207 software engineering, 02 engineering and technology, 0202 electrical engineering, electronic engineering, information engineering, Key (cryptography), 020201 artificial intelligence & image processing, business, Formal verification, Quality assurance

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::33962ccd7e2be0acf4a39a6300dd784c
https://doi.org/10.1007/978-3-030-03427-6_14

المؤلفون: Matthias Becker, Xinhai Zhang, Xin Tao, Naveen Mohan, Lars Svensson, Jonas Westman, Martin Törngren, DeJiu Chen

المصدر: 2018 21st International Conference on Intelligent Transportation Systems (ITSC)
ITSC

مصطلحات موضوعية: FOS: Computer and information sciences, Supervisor, Computer science, 010401 analytical chemistry, Computational intelligence, 02 engineering and technology, Systems and Control (eess.SY), 01 natural sciences, Electrical Engineering and Systems Science - Systems and Control, 0104 chemical sciences, Complement (complexity), Computer Science - Robotics, Work (electrical), Safety assurance, 0202 electrical engineering, electronic engineering, information engineering, Systems engineering, FOS: Electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Inbäddad systemteknik, Embedded Systems, Robotics (cs.RO)

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7912369b958f821197c16c949ee9ad11
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-235189

المؤلفون: Oscar Thydén, Mattias Nyberg, Jonas Westman

المصدر: Cyber Physical Systems. Design, Modeling, and Evaluation ISBN: 9783319517377
CyPhy

مصطلحات موضوعية: Functional safety, Requirements engineering, Computer science, Order (business), Specifier, Systems engineering, Cyber-physical system, IEC 61508, Linked data, Structuring

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4a355f4264e585b0c5e1fafa824bbd5f
https://doi.org/10.1007/978-3-319-51738-4_9

المؤلفون: Mattias Nyberg, Jonas Westman

مصطلحات موضوعية: Mathematical optimization, Matematik, Hierarchy (mathematics), business.industry, Computer science, Supply chain, Mechanical Engineering, Contract theory, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Maskinteknik, Theoretical Computer Science, Software, 010201 computation theory & mathematics, Hardware and Architecture, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, Graph (abstract data type), business, Mathematics

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eb45b9c6dfea6ea7f7fbe1bebc4ce44c
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-192374

المؤلفون: Mattias Nyberg, Christian Lidström, Dilian Gurov, Jonas Westman

المصدر: Lecture Notes in Computer Science ISBN: 9783319671123
FMICS-AVoCS

مصطلحات موضوعية: Annotation, Theoretical computer science, Functional verification, business.industry, Process (engineering), Computer science, Automotive industry, Code (cryptography), Functional requirement, business, Software engineering, Automation, Embedded C

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3d8a3da3391c254e5fb63a70f20c5b81
https://doi.org/10.1007/978-3-319-67113-0_1

المؤلفون: Mattias Nyberg, Jonas Westman

المصدر: Formal Aspects of Component Software ISBN: 9783319289335
FACS

مصطلحات موضوعية: Structure (mathematical logic), Theoretical computer science, Computer science, Programming language, Runtime verification, 020207 software engineering, 02 engineering and technology, Architecture modeling, Formal methods, computer.software_genre, Service-oriented modeling, CAN bus, Set (abstract data type), Formal specification, 0202 electrical engineering, electronic engineering, information engineering, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1d84c4bc6a1f8c50787824e60e98a32f
https://doi.org/10.1007/978-3-319-28934-2_17

المؤلفون: Mattias Nyberg, Jonas Westman

المصدر: EDCC

مصطلحات موضوعية: Set (abstract data type), Engineering, Exploit, Traceability, business.industry, Overhead (engineering), Bayesian network, Fault (power engineering), business, Structuring, Fault management, Reliability engineering

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3f0341066b95d3d2d641215374210e36
https://doi.org/10.1109/edcc.2015.21

المؤلفون: Mattias Nyberg, Jonas Westman

المصدر: HASE

مصطلحات موضوعية: musculoskeletal diseases, Structure (mathematical logic), Functional safety, Engineering, business.industry, Reliability (computer networking), Contract theory, Context (language use), IEC 61508, female genital diseases and pregnancy complications, Reliability engineering, Inheritance (object-oriented programming), immune system diseases, hemic and lymphatic diseases, Decomposition (computer science), business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::549abdf05337eecbf1eef6d56254aa19
https://doi.org/10.1109/hase.2015.21

المؤلفون: Martin Törngren, Behrooz Mokhtari, Magnus Persson, Mattias Nyberg, Jonas Westman, Anton Einarson, Xinhai Zhang, Henrik Linder, DeJiu Chen

المصدر: CSMR-WCRE

مصطلحات موضوعية: Enterprise architecture framework, Engineering, architecture recovery, business.industry, Software architecture recovery, Solution architecture, automotive industry, distributed embedded systems, Database-centric architecture, Teknik och teknologier, Applications architecture, Systems architecture, Engineering and Technology, Reference architecture, Software engineering, business, Software architecture description, software engineering

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fd3c4c1e73a30f5ecbe92af87bd11d09
https://doi.org/10.1109/csmr-wcre.2014.6747199

المؤلفون: Mattias Nyberg, Jonas Westman

المصدر: Lecture Notes in Computer Science ISBN: 9783319116525
MoDELS

مصطلحات موضوعية: Property (philosophy), Risk analysis (engineering), Computer science, Order (business), Interface (Java), Component (UML), Contract theory, Cyber-physical system, Systems engineering, Contract management, Architecture

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5832ef8e8d16dece38223670908e1fda
https://doi.org/10.1007/978-3-319-11653-2_14

المؤلفون: Magnus Persson, Martin Torngren, Ahsan Qamar, Jonas Westman, Matthias Biehl, Stavros Tripakis, Hans Vangheluwe, Joachim Denil

المصدر: 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).

مصطلحات موضوعية: consistency, multi-view modeling (MVM), survey, embedded systems, Inbäddad systemteknik, views, view relations, viewpoint relationship patterns, viewpoints

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::106b6b0361363198ecdd0780f9fccf7f
https://doi.org/10.1109/emsoft.2013.6658588

المؤلفون: Magnus Persson, Martin Törngren, Ahsan Qamar, Jonas Westman, Matthias Biehl, Stavros Tripakis, Hans Vangheluwe, Joachim Denil

المصدر: EMSOFT 2013 : proceedings of the International Conference on Embedded Software, Montreal, Quebec, Canada, September 29-October 4, 2013
University of Antwerp

مصطلحات موضوعية: Computer. Automation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::53bec7e275f63ce48a897db66fb8a6f9
https://hdl.handle.net/10067/1258990151162165141