Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integration formalization » integration formalisations, integrating normalization, information formalization
formalization processing » normalization preprocessing, formulations processing, formation processing
programmed computer » programming computer, programs computer, program computer
computer https » computers https, computing https, computer arts
integration formalization » integration formalisations, integrating normalization, information formalization
formalization processing » normalization preprocessing, formulations processing, formation processing
programmed computer » programming computer, programs computer, program computer
computer https » computers https, computing https, computer arts
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 2005
Table of Contents:
“... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... in Software Certification -- Security and Knowledge -- Integrating Formal Methods with System Management...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Integrated Security and Performance Analysis on the DEGAS Choreographer Platform -- Formal Verification...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... for Process Mediation -- How Symbolic Animation Can Help Designing an Efficient Formal Model -- Security -- A...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... -- Specification -- Algebraic Laws for Process Subtyping -- Boundness Issues in CCSL Specifications -- Mining...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... of Formal Analysis into a Model-Based Software Development Process -- Formal Verification with Isabelle/HOL...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... -- Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation -- Graph Processes...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... -- On Timed Simulation Relations for Hybrid Systems and Compositionality -- Integrating Discrete...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... for Lexical Normalization -- A Framework for Integrating Natural Language Tools -- Methods and Tools...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“...-RT Active Classes via Mapping into Circus -- Security -- Towards an Integrated Formal Analysis...”View full text
Electronic
eBook
13
Subjects:
“...Computer Appl. in Administrative Data Processing. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Static Models in Formal Approach -- Experiments -- Does Test-Driven Development Improve the Program Code...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... of Temporal Logic Specifications -- Goldilocks: Efficiently Computing the Happens-Before Relation Using...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Through Refinement Process -- Integration of Security Policy into System Modeling -- Industrial Papers...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“...Computational Linguistics Research -- Integration of Linguistic Resources for Verb Classification...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“...Computational Linguistics Research -- Integrating Semantic Frames from Multiple Sources -- Making...”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