KOBV-Portal

Treffer pro Seite

Treffer 1 - 3 | 3 Treffer

Sortierung

Buch

Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1 - 4, 2010 ; proceedings (2010)

Barringer, Howard [Sonstige] ; RV 1 2010 Saint Julian's

Berlin [u.a.] : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

b3kat_BV036767528

Umfang: XIII, 492 S. , graph. Darst. , 24 cm

ISBN: 9783642166112 , 3642166113

Serie: Lecture notes in computer science 6418

Anmerkung: Literaturangaben

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Echtzeitverarbeitung ; Verifikation ; Echtzeitverarbeitung ; Programmanalyse ; Programmverifikation ; Softwaretest ; Debugging ; Echtzeitsystem ; Monitoring ; Echtzeitsystem ; Datensicherung ; Computersicherheit ; Echtzeitverarbeitung ; Software ; Model Checking ; Konferenzschrift ; Kongress ; Konferenzschrift

URL: Inhaltstext

URL: Inhaltsverzeichnis

URL: http://d-nb.info/1007151021/04

URL: http://deposit.d-nb.de/cgi-bin/dokserv?id=3540765&prov=M&dok_var=1&dok_ext=htm

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

Berlin VÖBB/ZLB

TU Berlin

Online-Ressource

Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1 - 4, 2010 ; proceedings (2010)

Barringer, Howard [Sonstige] ; RV 1 2010 Saint Julian's

Berlin [u.a.] : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

b3kat_BV036807652

Umfang: 1 Online-Ressource (XIII, 492 S.) , graph. Darst.

ISBN: 9783642166112 , 9783642166129

Serie: Lecture notes in computer science 6418

Anmerkung: Literaturangaben

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

DOI: 10.1007/978-3-642-16612-9

URL: Volltext

URL: Volltext (lizenzpflichtig)

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

Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (2010)

Barringer, Howard. [editor.] ; Falcone, Ylies. [editor.] ; Finkbeiner, Bernd. [editor.] ; [weitere]

Berlin, Heidelberg :Springer Berlin Heidelberg,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_9947364410502882

Umfang: XIII, 492 p. 145 illus. , online resource.

ISBN: 9783642166129

Serie: Lecture Notes in Computer Science, 6418

Anmerkung: Invited Papers -- Automatic Requirement Extraction from Test Cases -- Code Contracts for .NET: Runtime Verification and So Much More -- Visual Debugging for Stream Processing Applications -- Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? -- Contracts for Scala -- Runtime Analysis and Instrumentation for Securing Software -- Tutorials -- Run-Time Verification of Networked Software -- Clara: Partially Evaluating Runtime Monitors at Compile Time -- You Should Better Enforce Than Verify -- Runtime Verification for the Web -- Statistical Model Checking: An Overview -- Runtime Verification with the RV System -- Regular and Short Papers -- A Meta-Aspect Protocol for Developing Dynamic Analyses -- Behavior Abstraction in Malware Analysis -- Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time -- Checking the Correspondence between UML Models and Implementation -- Compensation-Aware Runtime Monitoring -- Recovery Tasks: An Automated Approach to Failure Recovery -- Formally Efficient Program Instrumentation -- Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs -- Causality Analysis in Contract Violation -- Reducing Configurations to Monitor in a Software Product Line -- Runtime Instrumentation for Precise Flow-Sensitive Type Analysis -- Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects -- Verification of an AFDX Infrastructure Using Simulations and Probabilities -- Copilot: A Hard Real-Time Runtime Monitor -- StealthWorks: Emulating Memory Errors -- Efficient Data Race Detection for Async-Finish Parallelism -- Run-Time Verification of Optimistic Concurrency -- Who Guards the Guardians? — Toward V&V of Health Management Software -- Aspect-Oriented Instrumentation with GCC -- Runtime Verification for Software Transactional Memories -- Optimized Temporal Monitors for SystemC -- Runtime Verification of Stochastic, Faulty Systems -- Low-Overhead Bug Fingerprinting for Fast Debugging -- Tool Demonstrations -- ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems -- A Tool Which Mines Partial Execution Traces to Improve Static Analysis -- LarvaStat: Monitoring of Statistical Properties -- WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart.

In: Springer eBooks

Weitere Ausg.: Printed edition: ISBN 9783642166112

Sprache: Englisch

DOI: 10.1007/978-3-642-16612-9

URL: http://dx.doi.org/10.1007/978-3-642-16612-9

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Open Access Wunsch

HU Berlin

Treffer 1 - 3 | 3 Treffer

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

Meinten Sie 9783642616112?

Meinten Sie 9783642161612?

Meinten Sie 9783642106712?

Kooperativer Bibliotheksverbund

Berlin Brandenburg