المؤلفون: Yuanwei Qu, Eduard Kamburjan, Anita Torabi, Martin Giese

المصدر: Applied Computing and Geosciences, Vol 21, Iss , Pp 100152- (2024)

مصطلحات موضوعية: Geological ontology modeling, Semantic lifting, Process simulation, Geological process modeling, Geography. Anthropology. Recreation, Geology, QE1-996.5, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2590197423000411; https://doaj.org/toc/2590-1974

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

المؤلفون: Eduard Kamburjan, Jonas Stromberg

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 310, Iss Proc. F-IDE 2019, Pp 70-85 (2019)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1912.10635v1; https://doaj.org/toc/2075-2180

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

المؤلفون: Eduard Kamburjan, Reiner Hähnle

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 279, Iss Proc. ICE 2018, Pp 52-67 (2018)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1810.02470v1; https://doaj.org/toc/2075-2180

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

المؤلفون: Åsmund Aqissiaq Arild Kløvstad and Eduard Kamburjan and Einar Broch Johnsen, Kløvstad, Åsmund Aqissiaq Arild, Kamburjan, Eduard, Johnsen, Einar Broch

مصطلحات الفهرس: Symbolic Execution, Coq, Trace Semantics, Partial Order Reduction, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2023.9
Is Part Of LIPIcs, Volume 279, 34th International Conference on Concurrency Theory (CONCUR 2023)

المؤلفون: Eduard Kamburjan, Crystal Chang Din

المصدر: Fundamental Approaches to Software Engineering ISBN: 9783031308253

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e37880f357680671248abfc4675bc42a
https://doi.org/10.1007/978-3-031-30826-0_12

المؤلفون: Ole Jørgen Abusdal, Eduard Kamburjan, Violet Ka I. Pun, Volker Stolz

المصدر: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering ISBN: 9783031197550

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::967841901444851e1235d3f3666ee296
https://doi.org/10.1007/978-3-031-19756-7_24

المؤلفون: Eduard Kamburjan, Einar Broch Johnsen

المصدر: 2022 Annual Modeling and Simulation Conference (ANNSIM).

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::599800ea760659f152e04b31d3508014
https://doi.org/10.23919/annsim55834.2022.9859490

المؤلفون: Eduard Kamburjan and Stefan Mitsch and Reiner Hähnle, Kamburjan, Eduard, Mitsch, Stefan, Hähnle, Reiner

مصطلحات الفهرس: Active Objects, Differential Dynamic Logic, Hybrid Systems, Article, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LITES.8.2.4
Is Part Of LITES, Volume 8, Issue 2 (2022): Special Issue on Distributed Hybrid Systems. Leibniz Transactions on Embedded Systems, Volume 8, Issue 2

المؤلفون: Eduard Kamburjan, Marco Scaletta, Nils Rollshausen

المصدر: Science of Computer Programming. 226:102928

مصطلحات موضوعية: Software

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

المؤلفون: Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini

المصدر: Journal of Systems and Software. 195:111510

مصطلحات موضوعية: Language design, Hardware and Architecture, Family-based analysis, Delta-oriented programming, Modules, Multi product line, Variant generation, Software, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::85f842870f9130bb29cd5a30ab433e17
https://doi.org/10.1016/j.jss.2022.111510