close
1.

図書

図書
Martin Steffen, Gianluigi Zavattaro (eds.)
出版情報: Berlin : Springer, c2005  x, 321 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3535
所蔵情報: loading…
2.

電子ブック

EB
International Conference on Formal Methods for Open Object-Based Distributed Systems, Takeo Kanade, Martin Steffen, Gianluigi Zavattaro, IFIP Working Group 6.1.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
3.

電子ブック

EB
Dennis Dams, Ulrich Hannemann, Takeo Kanade, Martin Steffen
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Concurrency, Compositionality, and Correctness
A Bibliography of Willem-Paul de Roever
Playing Savitch and Cooking Games / Peter van Emde Boas
Compositionality: Ontology and Mereology of Domains / Dines Bjørner ; Asger Eir
Computer Science and State Machines / Leslie Lamport
A Small Step for Mankind / Cornelis Huizing ; Ron Koymans ; Ruurd Kuiper
On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention / Hans Langmaack
Explicit Fair Scheduling for Dynamic Control / Ernst-Rüidiger Olderog ; Andreas Podelski
Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence / Manfred Broy
Reasoning about Recursive Processes in Shared-Variable Concurrency / Frank S. de Boer
Formal Semantics of a VDM Extension for Distributed Embedded Systems / Jozef Hooman ; Marcel Verhoef
A Proof System for a PGAS Language / Shivali Agarwal ; R.K. Shyamasundar
Concurrent Objects à la Carte / Dave Clarke ; Einar Broch Johnsen ; Olaf Owe
On the Power of Play-Out for Scenario-Based Programs / David Harel ; Amir Kantor ; Shahar Maoz
Proving the Refuted: Symbolic Model Checkers as Proof Generators / Ittai Balaban ; Amir Pnueli ; Lenore-D. Zuck
Meanings of Model Checking / E. Allen Emerson
Smaller Abstractions for ∀CTL* without Next / Kai Engelhardt ; Ralf Huuck
Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment / Prasad Joshi ; Peter A. Beerel ; Marly Roncken ; Ivan Sutherland
Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules / Jan Peleska
Automated Proofs for Asymmetric Encryption / Joudicaël Courant ; Marion Daubignard ; Cristian Ene ; Pascal Lafourcade ; Yassine Lakhnech
Counterexample Guided Path Reduction for Static Program Analysis / Ansgar Fehnker ; Sean Seefried
Gallery
Author Index
Concurrency, Compositionality, and Correctness
A Bibliography of Willem-Paul de Roever
Playing Savitch and Cooking Games / Peter van Emde Boas
4.

電子ブック

EB
Olaf Owe, Takeo Kanade, Martin Steffen, Jan Arne Telle
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼