Các bài viết có thể truy cập công khai - Erik P. de VinkTìm hiểu thêm
Có tại một số nơi: 12
Using mCRL2 for the analysis of software product lines
MH Beek, EP de Vink
Proceedings of the 2nd FME Workshop on Formal Methods in Software …, 2014
Các cơ quan ủy nhiệm: Government of Italy
Supervisory controller synthesis for product lines using CIF 3
MH ter Beek, MA Reniers, EP de Vink
International Symposium on Leveraging Applications of Formal Methods, 856-873, 2016
Các cơ quan ủy nhiệm: European Commission
Towards modular verification of software product lines with mCRL2
MH ter Beek, EP de Vink
International Symposium On Leveraging Applications of Formal Methods …, 2014
Các cơ quan ủy nhiệm: Government of Italy
Compositionality for Markov reward chains with fast and silent transitions
J Markovski, A Sokolova, N Trčka, EP de Vink
Performance Evaluation 66 (8), 435-452, 2009
Các cơ quan ủy nhiệm: Austrian Science Fund
Bisimulation of labelled state-to-function transition systems coalgebraically
D Latella, M Massink, EP De Vink
Logical Methods in Computer Science 11, 2015
Các cơ quan ủy nhiệm: European Commission
Minimisation of spatial models using branching bisimilarity
V Ciancia, JF Groote, D Latella, M Massink, EP de Vink
International Symposium on Formal Methods, 263-281, 2023
Các cơ quan ủy nhiệm: Government of Italy
Back-and-forth in space: on logics and bisimilarity in closure spaces
V Ciancia, D Latella, M Massink, EP de Vink
A Journey from Process Algebra via Timed Automata to Model Learning: Essays …, 2022
Các cơ quan ủy nhiệm: Government of Italy
Software product line analysis with mCRL2
MH ter Beek, EP de Vink
Proceedings of the 18th International Software Product Line Conference …, 2014
Các cơ quan ủy nhiệm: European Commission, Government of Italy
On Bisimilarity for Polyhedral Models and SLCS
V Ciancia, D Gabelaia, D Latella, M Massink, EP de Vink
International Conference on Formal Techniques for Distributed Objects …, 2023
Các cơ quan ủy nhiệm: Government of Italy
Logical characterization of bisimulation for transition relations over probability distributions with internal actions
MD Lee, EP de Vink
41st International Symposium on Mathematical Foundations of Computer Science …, 2016
Các cơ quan ủy nhiệm: Government of Argentina
Bisimulation by Partitioning Is Ω ((m+ n) log n)
JF Groote, J Martens, E de Vink
32nd International Conference on Concurrency Theory (CONCUR 2021), 31: 1-31: 16, 2021
Các cơ quan ủy nhiệm: Netherlands Organisation for Scientific Research
Lowerbounds for bisimulation by partition refinement
JF Groote, J Martens, EP de Vink
Logical Methods in Computer Science 19, 2023
Các cơ quan ủy nhiệm: Netherlands Organisation for Scientific Research
Chương trình máy tính sẽ tự động xác định thông tin xuất bản và thông tin về nhà tài trợ