Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mark Utting
A Comparison of State-Based Modelling Tools for Model Validation
Lecture Notes in Business Information Processing
Control
Systems Engineering
Information Systems
Business
International Management
Simulation
Management
Management Information Systems
Modeling
Putting Formal Specifications Under the Magnifying Glass: Model-Based Testing for Validation
Related publications
ProMod and Swiss-Model: Internet-Based Tools for Automated Comparative Protein Modelling
Biochemical Society Transactions
Biochemistry
Validation of Simplified Methods for Modelling of Soil With Comparison to Experimentally Tested Scaled Model
Comparison of Model Checking Tools for Information Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Optimum Controller Design of a Water Cooler for Machine Tools Based on the State Space Model
Korean Journal of Air-Conditioning and Refrigeration Engineering
Validation Techniques of Agent Based Modelling for Geospatial Simulations
ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
A Concept for Modelling and Validation of Web Based Presentation Templates
Modelling and Validation of the Vehicle Longitudinal Model
International Journal of Automotive and Mechanical Engineering
Automotive Engineering
Mechanical Engineering
Validation of Sensor-Based Game Analysis Tools in Tennis
International Journal of Computer Science in Sport
Biomedical Engineering
Computer Science
Tools for Modelling Biological Processes
Nature
Multidisciplinary
