Amanote Research
Register
Sign In
Model Checking for Improved Adaptive Behaviour
doi 10.1049/cp.2013.0023
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2013
Authors
A. Miller
B. Porr
P. di Prodi
R. Kirwan
Publisher
Institution of Engineering and Technology
Related search
An Improved Distance Heuristic Function for Directed Software Model Checking
Model Checking a Self-Adaptive Camera Network With Physical Disturbances
An Improved POCTL Model Checking Algorithm Based on Preprocess Mechanism
DEStech Transactions on Computer Science and Engineering
An Improved Scale-Adaptive Simulation Model for Massively Separated Flows
International Journal of Aerospace Engineering
Aerospace Engineering
Model Checking
Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking for Probabilistic Timed Automata
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Model Checking Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Regression Model Checking
