Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
integration formalization » integration formalisations, integrating normalization, information formalization
formalization processing » normalization preprocessing, formulations processing, formation processing
programmed computers » programmeren computers, programming computers, program computers
computers https » computing https, computers gtt, computers help
integration formalization » integration formalisations, integrating normalization, information formalization
formalization processing » normalization preprocessing, formulations processing, formation processing
programmed computers » programmeren computers, programming computers, program computers
computers https » computing https, computers gtt, computers help
1
Julkaistu 2007
Sisällysluettelo:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2005
Sisällysluettelo:
“... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2014
Sisällysluettelo:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2007
Sisällysluettelo:
“... in Software Certification -- Security and Knowledge -- Integrating Formal Methods with System Management...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2005
Sisällysluettelo:
“... Integrated Security and Performance Analysis on the DEGAS Choreographer Platform -- Formal Verification...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2005
Sisällysluettelo:
“... for Process Mediation -- How Symbolic Animation Can Help Designing an Efficient Formal Model -- Security -- A...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2013
Sisällysluettelo:
“... -- Specification -- Algebraic Laws for Process Subtyping -- Boundness Issues in CCSL Specifications -- Mining...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2008
Sisällysluettelo:
“... of Formal Analysis into a Model-Based Software Development Process -- Formal Verification with Isabelle/HOL...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2006
Sisällysluettelo:
“... -- On Timed Simulation Relations for Hybrid Systems and Compositionality -- Integrating Discrete...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2005
Sisällysluettelo:
“... -- Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation -- Graph Processes...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2006
Sisällysluettelo:
“... for Lexical Normalization -- A Framework for Integrating Natural Language Tools -- Methods and Tools...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2012
Sisällysluettelo:
“....- Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.- Formal Methods...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2012
Sisällysluettelo:
“... Programming Language for Provably Correct Dynamic Analyses.- Eternal Embedded Software: Towards Innovation...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2005
Sisällysluettelo:
“...-RT Active Classes via Mapping into Circus -- Security -- Towards an Integrated Formal Analysis...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2008
Sisällysluettelo:
“... Static Models in Formal Approach -- Experiments -- Does Test-Driven Development Improve the Program Code...”Hae kokoteksti
Elektroninen
E-kirja
16
Aiheet:
“...Computer Appl. in Administrative Data Processing. https://scigraph.springernature.com/ontologies...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2006
Sisällysluettelo:
“... of Temporal Logic Specifications -- Goldilocks: Efficiently Computing the Happens-Before Relation Using...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2008
Sisällysluettelo:
“...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2007
Sisällysluettelo:
“...Computational Linguistics Research -- Integration of Linguistic Resources for Verb Classification...”Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2006
Sisällysluettelo:
“...Computational Linguistics Research -- Integrating Semantic Frames from Multiple Sources -- Making...”Hae kokoteksti
Elektroninen
E-kirja