Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integrating specification » integrating verification, alternating specifications, integration verification
specification programming » verification programming, identification programming, specification program
programming program » programming programmed, programming problem, programming problems
program control » program controls, programs control, progress control
https » http
integrating specification » integrating verification, alternating specifications, integration verification
specification programming » verification programming, identification programming, specification program
programming program » programming programmed, programming problem, programming problems
program control » program controls, programs control, progress control
https » http
1
Subjects:
“...Control Structures and Microprogramming. https://scigraph.springernature.com/ontologies/product...”
View full text
View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... Foundation for Formal Specifications -- Automated Verification of Security Policies in Mobile Code -- Slicing...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... Theories.-Bi-abduction with Pure Properties for Specification Inference -- Laws of Programming...”View full text
Electronic
eBook
5
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications...”View full text
Electronic
eBook
6
Published 2015
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... to Break the Bank: Semantics of Capability Policies -- Model-Checking Circus State-Rich Specifications...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... Programming -- Domain Specificity of Genetic Programming Based Automated Synthesis: A Case Study...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“...: An Extensible Architecture for Composing Motion Controllers and Planners -- RobotML, a Domain-Specific Language...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”View full text
Electronic
eBook
13
Table of Contents:
“... -- Software Configuration Management -- Software Requirements Analysis and Specification -- Software...”
View full text
View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Kinds of System Descriptions as Synchronous Programs -- UML-Based System Specification and Design -- A...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Dependencies in Transaction Level Models -- An Integrated SystemC Debugging Environment -- Measuring...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... -- Mechatronics Design and Verification -- Modeling and Specification -- Pattern-based Analysis in Distributed...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Specification Language and System for the Three-Dimensional Visualisation of Knowledge Bases -- Migration...”View full text
Electronic
eBook
18
Table of Contents:
“... and System Architectures -- Programming of Embedded Systems -- Implementation -- Hardware Platform...”
View full text
View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“...Concepts and Approaches of Integrated Water Management -- Filling the Information Gap between Water...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... Framework for Control of Linear Systems from LTL Specifications -- Reachability Analysis of Multi-affine...”View full text
Electronic
eBook