E-LIB Suche - Ergebnisse für: Vink, P

1

Seat-Human Interaction and Perception: A Multi-factorial-Pr..:

, In: Future Interior Concepts; SpringerBriefs in Applied Sciences and Technology,

Wegner, M. ; Reuter, C. ; Fitzen, F... - p. 1-30 , 2020

Link: https://doi.org/10.1007/..

2

Soft Robotic Module for Sensing and Controlling Contact For..:

, In: 2020 3rd IEEE International Conference on Soft Robotics (RoboSoft),

Buso, A. ; Scharff, R.B.N. ; Doubrovski, E.L.... - p. 70-75 , 2020

Link: https://doi.org/10.1109/..

3

Die Interpretation von Bodenkarten für landwirtschaftliche ..:

, In: Albrecht-Thaer-Archiv Band 11, Heft 9,

Vink, A. P. A. - p. 909-909 , 1967

Link: https://doi.org/10.1515/..

4

Die Interpretation von Bodenkarten für landwirtschaftliche ..:

, In: Albrecht-Thaer-Archiv Band 11, Heft 11,

Vink, A. P. A. - p. 1021-1030 , 1967

Link: https://doi.org/10.1515/..

5

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Bezhanishvili, Nick ; Ciancia, Vincenzo ; Gabelaia, David... - p. 20-38 , 2024

Link: https://doi.org/10.1007/..

6

Minimisation of Spatial Models Using Branching Bisimilarity:

, In: Formal Methods; Lecture Notes in Computer Science,

Ciancia, Vincenzo ; Groote, Jan Friso ; Latella, Diego.. - p. 263-281 , 2023

Link: https://doi.org/10.1007/..

7

On Bisimilarity for Polyhedral Models and SLCS:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Ciancia, Vincenzo ; Gabelaia, David ; Latella, Diego.. - p. 132-151 , 2023

Link: https://doi.org/10.1007/..

8

Back-and-Forth in Space: On Logics and Bisimilarity in Clos..:

, In: Lecture Notes in Computer Science; A Journey from Process Algebra via Timed Automata to Model Learning,

Ciancia, Vincenzo ; Latella, Diego ; Massink, Mieke. - p. 98-115 , 2022

Link: https://doi.org/10.1007/..

9

Modelling and Analysing Software in mCRL2:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,

Groote, Jan Friso ; Keiren, Jeroen J. A. ; Luttik, Bas.. - p. 25-48 , 2020

Link: https://doi.org/10.1007/..

10

Family-Based SPL Model Checking Using Parity Games with Var..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

ter Beek, Maurice H. ; van Loo, Sjef ; de Vink, Erik P.. - p. 245-265 , 2020

Link: https://doi.org/10.1007/..

11

The mCRL2 Toolset for Analysing Concurrent Systems: Improve..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bunte, Olav ; Groote, Jan Friso ; Keiren, Jeroen J. A.... - p. 21-39 , 2019

Link: https://doi.org/10.1007/..

12

An Axiomatization of Strong Distribution Bisimulation for a..:

, In: From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science,

Groote, Jan Friso ; de Vink, Erik P. - p. 449-463 , 2019

Link: https://doi.org/10.1007/..

13

A Complete Axiomatization of Branching Bisimilarity for a S..:

, In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy; Lecture Notes in Computer Science,

van Glabbeek, Rob J. ; Groote, Jan Friso ; de Vink, Erik P. - p. 139-162 , 2019

Link: https://doi.org/10.1007/..

14

Family-Based Model Checking of SPL based on mCRL2:

, In: Proceedings of the 21st International Systems and Software Product Line Conference - Volume B,

Ben Snaiba, Ziad ; de Vink, Erik P. ; Willemse, Tim A.C. - p. 13-16 , 2017

Link: https://dl.acm.org/doi/1..

15

Using mCRL2 for the analysis of software product lines:

, In: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering,

Beek, Maurice H. ter ; de Vink, Erik P. - p. 31-37 , 2014

Link: https://dl.acm.org/doi/1..