KOBV-Portal

Treffer pro Seite

Treffer 1 - 2 | 2 Treffer

Sortierung

Online-Ressource

Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11 - 14, 2010 ; proceedings (2010)

Méry, Dominique [Sonstige] ; IFM 8 2010 Nancy

Berlin [u.a.] : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

b3kat_BV036800951

Umfang: 1 Online-Ressource (X, 335 S.) , graph. Darst.

ISBN: 9783642162640 , 9783642162657

Serie: Lecture notes in computer science 6396

Anmerkung: Literaturangaben

Sprache: Englisch

Schlagwort(e): Softwareentwicklung ; Formale Methode ; Systementwicklung ; Formale Methode ; Formale Methode ; Spezifikationssprache ; Verifikation ; Model Checking ; Formale Methode ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/978-3-642-16265-7

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: Inhaltstext

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Open Access Wunsch

UB Potsdam

BTU Cottbus

Online-Ressource

Integrated Formal Methods : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings (2010)

Méry, Dominique. [editor.] ; Merz, Stephan. [editor.] ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg,

Dazugehörige Titel

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_9947364413902882

Umfang: X, 337 p. 110 illus. , online resource.

ISBN: 9783642162657

Serie: Lecture Notes in Computer Science, 6396

Anmerkung: On Model Checking Techniques for Randomized Distributed Systems -- Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B Approach to Data Sharing Agreements -- A Logical Framework to Deal with Variability -- Adding Change Impact Analysis to the Formal Verification of C Programs -- Creating Sequential Programs from Event-B Models -- Symbolic Model-Checking of Optimistic Replication Algorithms -- From Operating-System Correctness to Pervasively Verified Applications -- A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs -- Verification Architectures: Compositional Reasoning for Real-Time Systems -- Automatic Verification of Parametric Specifications with Complex Topologies -- Satisfaction Meets Expectations -- Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques -- Specification and Verification of Model Transformations Using UML-RSDS -- Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems -- Translating Pi-Calculus into LOTOS NT -- Systematic Translation Rules from astd to Event-B -- A CSP Approach to Control in Event-B -- Towards Probabilistic Modelling in Event-B -- Safe Commits for Transactional Featherweight Java -- Certified Absence of Dangling Pointers in a Language with Explicit Deallocation -- Integrating Implicit Induction Proofs into Certified Proof Environments.

In: Springer eBooks

Weitere Ausg.: Printed edition: ISBN 9783642162640

Sprache: Englisch

DOI: 10.1007/978-3-642-16265-7

URL: http://dx.doi.org/10.1007/978-3-642-16265-7

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Open Access Wunsch

HU Berlin

Treffer 1 - 2 | 2 Treffer

Nichts oder nicht das Richtige gefunden? Bitte überprüfen Sie Ihre Suchanfrage oder benutzen Sie den Fernleihindex.

Meinten Sie 9783642612657?

Meinten Sie 9783642102653?

Meinten Sie 9783642102677?

Kooperativer Bibliotheksverbund

Berlin Brandenburg