المؤلفون: Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 206, Iss Proc. FMSPLE 2016, Pp 61-75 (2016)

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

وصف الملف: electronic resource

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

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

المؤلفون: Matias D. Lee, Erik P. de Vink

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 194, Iss Proc. QAPL 2015, Pp 79-94 (2015)

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

وصف الملف: electronic resource

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

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

المؤلفون: Tessa Belder, Maurice H. ter Beek, Erik P. de Vink

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 182, Iss Proc. FMSPLE 2015, Pp 14-30 (2015)

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

وصف الملف: electronic resource

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

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

المؤلفون: Jan Friso Groote, Jao Rivera Verduzco, Erik P. de Vink

المصدر: Algorithms, Vol 11, Iss 9, p 131 (2018)

مصطلحات موضوعية: probabilistic system with nondeterminism, probabilistic labeled transition system, probabilistic bisimulation, partition-refinement algorithm, Industrial engineering. Management engineering, T55.4-60.8, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://www.mdpi.com/1999-4893/11/9/131; https://doaj.org/toc/1999-4893

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

المؤلفون: Jan Friso Groote, Jan Martens, Erik. P. de Vink

المصدر: Logical Methods in Computer Science, Vol Volume 19, Issue 2 (2023)

مصطلحات موضوعية: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/9212/pdf; https://doaj.org/toc/1860-5974

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

المؤلفون: Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink

المصدر: Lecture Notes in Computer Science ISBN: 9783031156281
A Journey from Process Algebra via Timed Automata to Model Learning, edited by Jansen N., Stoelinga M., van den Bos P., pp. 98–115, 2022

مصطلحات موضوعية: Spatial logics, Stuttering equivalence, Spatial bisimilarities, Topological spaces, Closure spaces

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f043faf3444a7815c0a08ad88458d8d8
https://doi.org/10.1007/978-3-031-15629-8_6

المؤلفون: Diego Latella, Mieke Massink, Erik P De Vink

المصدر: Logical Methods in Computer Science, Vol Volume 11, Issue 4 (2015)

مصطلحات موضوعية: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/1617/pdf; https://doaj.org/toc/1860-5974

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

المؤلفون: Erik P. de Vink, Sjef van Loo, Maurice H. ter Beek, Tim A. C. Willemse

المصدر: FASE 2020-International Conference on Fundamental Approaches to Software Engineering, pp. 245–265, Dublin, Ireland, 25-30/04/2020
info:cnr-pdr/source/autori:ter Beek M.H.; van Loo S.; de Vink E.P.; Willemse T.A.C./congresso_nome:FASE 2020-International Conference on Fundamental Approaches to Software Engineering/congresso_luogo:Dublin, Ireland/congresso_data:25-30%2F04%2F2020/anno:2020/pagina_da:245/pagina_a:265/intervallo_pagine:245–265
Fundamental Approaches to Software Engineering ISBN: 9783030452339
FASE

مصطلحات موضوعية: Model checking, 050101 languages & linguistics, Theoretical computer science, Variability-intensive systems, Computer science, 05 social sciences, 02 engineering and technology, Software product lines, Parity game, Modal, mCRL2, Transition system, 0202 electrical engineering, electronic engineering, information engineering, Mu-calculus, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, Family based, Software product line, Parity (mathematics), Variability parity games

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::209b6e4c6dc8912449ef4b51268bd441
https://openportal.isti.cnr.it/doc?id=people______::e025edc3fc87a0f1b4bd05a02f9cb562

المؤلفون: Erik P. de Vink, Maurice H. ter Beek, Tim A. C. Willemse

المساهمون: NanoLab@TU/e, Formal System Analysis

المصدر: FMSPLE
Electronic Proceedings in Theoretical Computer Science, Vol 206, Iss Proc. FMSPLE 2016, Pp 61-75 (2016)
FMSPLE 2016-Formal Methods and Analysis in Software Product Line Engineering, pp. 61–75, Eindhoven, The Netherlands, 3 April 2016
Electronic Proceedings in Theoretical Computer Science, EPTCS, 206, 61-75. Open Publishing Association
info:cnr-pdr/source/autori:Ter Beek M.H.; De Vink E.P.; Willemse T.A./congresso_nome:FMSPLE 2016-Formal Methods and Analysis in Software Product Line Engineering/congresso_luogo:Eindhoven, The Netherlands/congresso_data:3 April 2016/anno:2016/pagina_da:61/pagina_a:75/intervallo_pagine:61–75

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Formalism (philosophy), Semantics (computer science), Computer science, mu-calculus with features, 02 engineering and technology, Fixed point, Reusable Software. Domain engineering, lcsh:QA75.5-76.95, Software/Program Verification. Formal methods, Behavioral SPL models, 0202 electrical engineering, electronic engineering, information engineering, lcsh:Mathematics, Featured Transition Systems, Family-based model checking, 020207 software engineering, Software/Program Verification. Model checking, lcsh:QA1-939, Logic in Computer Science (cs.LO), TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Modal, Feature (computer vision), TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Product (mathematics), Embedding, 020201 artificial intelligence & image processing, lcsh:Electronic computers. Computer science, Focus (optics), Algorithm

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e70988a0ea88b704eb92bbf82d28c596
https://doi.org/10.4204/eptcs.206.6

المؤلفون: Erik P. de Vink, Nikolaos Bezirgiannis, Frank S. de Boer, Keyvan Azadbakht

المساهمون: Formal System Analysis, EAISI High Tech Systems, Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands

المصدر: Science of Computer Programming, 186:102341. Elsevier
Science of Computer Programming, 186, 102341.1-102341.22

مصطلحات موضوعية: Syntax (programming languages), business.industry, Computer science, Data stream mining, Concurrency, 020207 software engineering, Cooperative scheduling, 02 engineering and technology, Streaming, Asynchronous method invocation, Active objects, Social networks, Operational semantics, Asynchronous communication, Proof of concept, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Software engineering, business, Future, Futures contract, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::627c12ad598fb94761da623b6b0a6c44
https://doi.org/10.1016/j.scico.2019.102341