-
1دورية أكاديمية
المؤلفون: 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
-
2دورية أكاديمية
المؤلفون: 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
-
3دورية أكاديمية
المؤلفون: 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
-
4دورية أكاديمية
المؤلفون: 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
-
5دورية أكاديمية
المؤلفون: 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
-
6
المؤلفون: 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 -
7دورية أكاديمية
المؤلفون: 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
-
8
المؤلفون: 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 -
9
المؤلفون: 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 -
10
المساهمون: 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