المؤلفون: Amilon, Jesper, Esen, Zafer, Gurov, Dilian, 1964, Lidström, Christian, Rümmer, Philipp

المصدر: Computer Aided Verification. :281-304

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-336732
https://doi.org/10.1007/978-3-031-37709-9_14

المؤلفون: Lidström, Christian

المساهمون: Gurov, Dilian, 1964, Balliu, Musard, Beckert, Bernhard, Professor

المصدر: TRITA-EECS-AVL.

مصطلحات موضوعية: software sontracts, contract-based design, formal verification, deductive verification, contract inference, program instrumentation, embedded software, embedded systems, Frama-C, Datalogi, Computer Science

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-343807
https://kth.diva-portal.org/smash/get/diva2:1840268/FULLTEXT01.pdf

المؤلفون: Ung, Gustav, Amilon, Jesper, Gurov, Dilian, 1964, Lidström, Christian, Nyberg, Mattias, Palmskog, Karl

المصدر: Proceedings - 32nd IEEE International Requirements Engineering Conference, RE 2024. :287-298

مصطلحات موضوعية: formal verification, Industrial requirements, requirements formalization

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-353526

المؤلفون: Lidström, Christian

مصطلحات موضوعية: formal verification, verification, functional requirements, embedded, automotive, Computer Sciences, Datavetenskap (datalogi)

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

الاتاحة: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-191566

المؤلفون: Lidström, Christian, Leskelä, Hannes

مصطلحات موضوعية: Computer Sciences, Datavetenskap (datalogi)

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

الاتاحة: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-157469

المؤلفون: Lidström, Christian, Johansson Angesjö, Magnus

مصطلحات موضوعية: Buying behavior, Online shopping, Men's shopping behavior, Clothes and accessories, Website design

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

الاتاحة: http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-19654

المؤلفون: Amilon, Jesper, Esen, Zafer, Gurov, Dilian, Lidström, Christian, Rümmer, Philipp

مصطلحات الفهرس: Computer Sciences, Datavetenskap (datalogi), Chapter in book, info:eu-repo/semantics/bookPart, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-343806
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

المؤلفون: Lidström, Christian, Gurov, Dilian, 1964

المصدر: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Proceedings. :77-94

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-334440

المؤلفون: Amilon, Jesper, Lidström, Christian, Gurov, Dilian, 1964

المصدر: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). :7-28

مصطلحات موضوعية: Contracts, Deductive verification, Model checking

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-329628

المؤلفون: Gurov, Dilian, 1964, Lidström, Christian, Rümmer, P.

المصدر: The Logic of Software. A Tasting Menu of Formal Methods Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). :229-242

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-318003

المؤلفون: Dilian Gurov and Reiner Hähnle and Marieke Huisman and Giles Reger and Christian Lidström, Gurov, Dilian, Hähnle, Reiner, Huisman, Marieke, Reger, Giles, Lidström, Christian

مصطلحات الفهرس: software contracts, program specifications, software development, program analysis, Article, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.11.1
Is Part Of Dagstuhl Reports, Volume 12, Issue 11 (2023)

المؤلفون: Amilon, Jesper, Esen, Zafer, Gurov, Dilian, Lidström, Christian, Rümmer, Philipp

مصطلحات الفهرس: Computer Science - Software Engineering, Computer Science - Logic in Computer Science, D.2.4, F.3.1, text

URL: http://arxiv.org/abs/2306.00004

المؤلفون: Gurov, Dilian, Hähnle, Reiner, Huisman, Marieke, Reger, Giles, Lidström, Christian

مصطلحات موضوعية: program analysis, software contracts, software development, Theory of computation → Program specifications, program specifications

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::372e96df61c3da76341f162bd7a37d7d

المؤلفون: Lidström, Christian, Gurov, Dilian, 1964

المصدر: Fundamental Approaches to Software Engineering (FASE 2021) Lecture Notes in Computer Science. :152-171

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-306349

المؤلفون: Alshnakat, Anoud, Gurov, Dilian, Lidström, Christian, Rümmer, Philipp, 1978

المصدر: Deductive Software Verification: Future Perspectives Lecture Notes in Computer Science. :149-176

مصطلحات موضوعية: Computer Science, Datavetenskap

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-429798
https://www.springer.com/gp/book/9783030643539

المؤلفون: Lidström, Christian, Bondesson, C., Nyberg, Mattias, Westman, J.

المصدر: Proceedings - Companion of the 19th IEEE International Conference on Software Quality, Reliability and Security, QRS-C 2019. :28-35

مصطلحات موضوعية: ASIL, ASIL decomposition, automotive safety, functional safety, ISO 26262, requirements decomposition, Automotive industry, C (programming language), Computer software selection and evaluation, Software reliability, Accident prevention

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-268410

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

المصدر: Critical Systems: Formal Methods and Automated Verification Lecture Notes in Computer Science. :3-18

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-214853

المؤلفون: Lidström, Christian

مصطلحات موضوعية: Datavetenskap (datalogi), Computer Sciences, functional requirements, automotive, embedded, formal verification, verification

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

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