The following pages link to Mieke Massink (Q995464):
Displaying 26 items.
- (Q239138) (redirect page) (← links)
- Model checking mobile stochastic logic (Q995465) (← links)
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam (Q1014561) (← links)
- Modelling and verification of PREMO synchronisable objects (Q1296333) (← links)
- Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker (Q1578397) (← links)
- Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking (Q1858428) (← links)
- On testing UML statecharts (Q2500697) (← links)
- (Q2769589) (← links)
- \textsf{MarCaSPiS}: a Markovian extension of a calculus for services (Q2810685) (← links)
- Spatial Logic and Spatial Model Checking for Closure Spaces (Q2822664) (← links)
- On-the-fly Fast Mean-Field Model-Checking (Q2830041) (← links)
- Model Checking Spatial Logics for Closure Spaces (Q2974786) (← links)
- Specifying and Verifying Properties of Space (Q3190163) (← links)
- Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically (Q3460420) (← links)
- (Q4251114) (← links)
- (Q4474035) (← links)
- (Q4553288) (← links)
- An Experimental Spatio-Temporal Model Checker (Q4988650) (← links)
- FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation (Q5047045) (← links)
- Geometric Model Checking of Continuous Space (Q5060193) (← links)
- (Q5216078) (← links)
- Rate-Based Transition Systems for Stochastic Process Calculi (Q5321675) (← links)
- A uniform definition of stochastic process calculi (Q5419173) (← links)
- Global Computing (Q5464839) (← links)
- Using hybrid automata to support human factors analysis in a critical system (Q5959852) (← links)
- On bisimilarity for polyhedral models and \texttt{SLCS} (Q6535467) (← links)
