Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mike Barth
Event-Based and State-Automata-Based Modelling of FMS
SNE Simulation Notes Europe
Related publications
Cellular-Automata-Based Ecological and Ecohydraulics Modelling
Journal of Hydroinformatics
Geotechnical Engineering
Civil
Engineering Geology
Atmospheric Science
Structural Engineering
Water Science
Technology
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
Software
Automata-Based Axiom Pinpointing
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Performance of Continuous Black Box Models for Event Based Rainfall-Runoff Modelling.
International Journal of Modern Trends in Engineering & Research
Diversity-Based Inference of Finite Automata
Multi-Feature Based Event Recommendation in Event-Based Social Network
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science
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
Software Modelling and Automatic Code Generation Based on Reactive State Diagram
Cellular Automata Based Representation of 3D Patterns
