Showing
1 - 20
results of
25
for search '
"Correct System Design"
'
Skip to content
Portal K.UTB
Čeština
Login
TBU Catalog
e-resources
E-THESES
All Fields
Title
Author
Subject
Find
Advanced Search
Search Results - "Correct System Design"
Showing
1 - 20
results of
25
for search '
"Correct System Design"
'
, query time: 2.60s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
1
Loading…
Mediator Synthesis in a Component Algebra with Data
by
Holík, Lukáš
,
Isberner, Malte
,
Jonsson, Bengt
Published in
Correct System Design
(2015)
Get full text
Book Chapter
Conference Proceeding
Save to List
Saved in:
2
Loading…
Automated Reasoning Building Blocks
by
Weidenbach, Christoph
Published in
Correct System Design
(01.01.2015)
Get full text
Book Chapter
Save to List
Saved in:
3
Loading…
Bounded Synthesis for Petri Games
by
Finkbeiner, Bernd
Published in
Correct System Design
Get full text
Book Chapter
Save to List
Saved in:
4
Loading…
Understanding Probabilistic Programs
by
Katoen, Joost-Pieter
,
Gretz, Friedrich
,
Jansen, Nils
,
Kaminski, Benjamin Lucien
,
Olmedo, Federico
Published in
Correct System Design
Get full text
Book Chapter
Save to List
Saved in:
5
Loading…
Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP
by
van Glabbeek, Rob J.
Published in
Correct System Design
Get full text
Book Chapter
Save to List
Saved in:
6
Loading…
On Applicative Similarity, Sequentiality, and Full Abstraction
by
Crubillé, Raphaëlle
,
Dal Lago, Ugo
,
Sangiorgi, Davide
,
Vignudelli, Valeria
Published in
Correct System Design
Get full text
Book Chapter
Save to List
Saved in:
7
Loading…
Toward Compact Abstractions for Processor Pipelines
by
Hahn, Sebastian
,
Reineke, Jan
,
Wilhelm, Reinhard
Published in
Correct System Design
Get full text
Book Chapter
Save to List
Saved in:
8
Loading…
No Need Knowing Numerous Neighbours: Towards a Realizable Interpretation of MLSL
by
Fränzle, Martin
,
Hansen, Michael R.
,
Ody, Heinrich
Published in
Correct System Design
Get full text
Book Chapter
Save to List
Saved in:
9
Loading…
Being and Change: Reasoning About Invariance
by
de Boer, Frank S.
,
de Gouw, Stijn
Published in
Correct System Design
Get full text
Book Chapter
Save to List
Saved in:
10
Loading…
Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems
by
Fröschle, Sibylle
Published in
Correct System Design
Get full text
Book Chapter
Save to List
Saved in:
11
Loading…
Translating Testing Theories for Concurrent Systems
by
Peleska, Jan
Published in
Correct System Design
Get full text
Book Chapter
Save to List
Saved in:
12
Loading…
Fairness for Infinitary Control
by
Hoenicke, Jochen
,
Podelski, Andreas
Published in
Correct System Design
Get full text
Book Chapter
Save to List
Saved in:
13
Loading…
Evaluation Trees for Proposition Algebra: The Case for Free and Repetition-Proof Valuation Congruence
by
Bergstra, Jan A.
,
Ponse, Alban
Published in
Correct System Design
Get full text
Book Chapter
Save to List
Saved in:
14
Loading…
From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog
by
Meyer, Roland
,
Wehrheim, Heike
Published in
Correct System Design
Get full text
Book Chapter
Save to List
Saved in:
15
Loading…
Warmest Congratulations, Ernst-Rüdiger
by
de Roever, Willem Paul
Published in
Correct System Design
Get full text
Book Chapter
Save to List
Saved in:
16
Loading…
Ernst-Rüdiger Olderog: A Life for Meaning
by
Platzer, André
Published in
Correct System Design
Get full text
Book Chapter
Save to List
Saved in:
17
Loading…
Safe and Optimal Adaptive Cruise Control
by
Larsen, Kim Guldstrand
,
Mikučionis, Marius
,
Taankvist, Jakob Haahr
Published in
Correct System Design
Get full text
Book Chapter
Save to List
Saved in:
18
Loading…
Organization
Published in
Correct System Design
(2015)
Get full text
Book Chapter
Save to List
Saved in:
19
Loading…
Process Algebra
Published in
Correct System Design
(2015)
Get full text
Book Chapter
Save to List
Saved in:
20
Loading…
Logic
Published in
Correct System Design
(2015)
Get full text
Book Chapter
Save to List
Saved in:
1
2
Next
[2]
RSS Feed
Email Search
Save Search
Search History
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit to articles from scholarly journals
Limit to articles with full text available
Limit to Open Access content
Exclude newspaper articles
Include articles at other libraries
Expand results using synonyms
Format
Book Chapter
24 results
24
Conference Proceeding
1 results
1
Subject Area
computer science
25 results
25
Topic
computer science
14 results
14
computer science, software engineering
14 results
14
computer science, theory & methods
14 results
14
logic
14 results
14
science & technology
14 results
14
science & technology - other topics
14 results
14
See more
Language
English
25 results
25
Year of Publication
From:
To:
Database
SpringerLink Books
9 results
9
eBooks on EBSCOhost
9 results
9
Springer Books
9 results
9