Model Checking Trace-based Information Flow Properties For Finite

Model-checking Infinite State Systems For Information Flow Security

Raghavendra Kagalavadi Ramesh (u. A.) | Model Checking Trace-based...

Shallow Water Flow Models For Flood Inundation Finite Volume Based

An Assessment Model For Web-based Information System Effectiveness

Finite Volume Modelling For Groundwater Flow Simulations 2d Finite

Raghavendra K. R. | Model-checking Infinite State Systems For

Gul Tokdemir | An Assessment Model For Web-based Information System...

Coverage Metrics For Model Checking | Hana Chockler | Englisch |

Finite Element Based Transient Dynamic Analysis For Four Wheeled

Dalila Loudyi | Finite Volume Modelling For Groundwater Flow

Finite Element Methods For Incompressible Flow Problems 3403

Computational Plasticity For Finite Elements A Fortran-based

Using Model Checking To Generate Test Cases For Critical Systems | Wei

Patrick Godefroid | Model Checking Software | Taschenbuch | Englisch

Model-based Reasoning In Science And Technology Inferential Models For