Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing programs » processing programmed, processing problems, processing products
programs controller » programs control, program controls, problem controller
methods processing » methods preprocessing, methods proceedings, methods processes
integral methods » integration methods, general methods
controller https » controller states, control https, controller type
processing programs » processing programmed, processing problems, processing products
programs controller » programs control, program controls, problem controller
methods processing » methods preprocessing, methods proceedings, methods processes
integral methods » integration methods, general methods
controller https » controller states, control https, controller type
1
Published 2007
Table of Contents:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”View full text
Electronic
eBook
3
Subjects:
“...Control Structures and Microprogramming. https://scigraph.springernature.com/ontologies/product...”
View full text
View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Model Predictive Control -- Optimal Control Using Pontryagin’s Maximum Principle and Dynamic Programming...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... in Software Certification -- Security and Knowledge -- Integrating Formal Methods with System Management...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Process Relationship -- Assessing 3-D Integrated Software Development Processes: A New Benchmark...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... and Informal Modeling Languages -- Model Checking -- Model-Checking of Specifications Integrating Processes...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Images -- Biomedical Applications -- Digital Signal Processing Techniques for Gene Finding in Eukaryotes...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Analysis of the Accuracy in Control Systems: Principles and Experiments -- Application of Static Analyses...”View full text
Electronic
eBook
13
Table of Contents:
“...Basic R Programming -- Random Variable Generation -- Monte Carlo Integration -- Controlling...”
View full text
View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Systems -- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control -- An Integrated Approach...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“...-differential Equations -- Expansion Method for Solving Fuzzy Fredholm-Volterra Integral Equations -- Solving...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... – A European Project on Integrating Timing Technology -- Processes, Methods and Tools for Developing...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Decomposition Method for a Discretization of a Plate Problem on Nonmatching Grids -- Application Specific...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Biomedicine -- Phyl-O’Data (POD) from Tree of Life: Integration Challenges from Yellow Slimy Things to Black...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“....- Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.- Formal Methods...”View full text
Electronic
eBook