fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Bouajjani / Chin

Automated Technology for Verification and Analysis

8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

Medium: Buch
ISBN: 978-3-642-15642-7
Verlag: Springer
Erscheinungstermin: 03.09.2010
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken
Leseprobe
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet
Autoren/Hrsg.

Herausgeber

Invited Talks.- Probabilistic Automata on Infinite Words: Decidability and Undecidability Results.- Abstraction Learning.- Synthesis: Words and Traces.- Regular Papers.- Promptness in ?-Regular Automata.- Using Redundant Constraints for Refinement.- Methods for Knowledge Based Controlling of Distributed Systems.- Composing Reachability Analyses of Hybrid Systems for Safety and Stability.- The Complexity of Codiagnosability for Discrete Event and Timed Systems.- On Scenario Synchronization.- Compositional Algorithms for LTL Synthesis.- What’s Decidable about Sequences?.- A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network.- Lattice-Valued Binary Decision Diagrams.- A Specification Logic for Exceptions and Beyond.- Non-monotonic Refinement of Control Abstraction for Concurrent Programs.- An Approach for Class Testing from Class Contracts.- Efficient On-the-Fly Emptiness Check for Timed Büchi Automata.- Reachability as Derivability, Finite Countermodels and Verification.- LTL Can Be More Succinct.- Automatic Generation of History-Based Access Control from Information Flow Specification.- Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems.- Symbolic Unfolding of Parametric Stopwatch Petri Nets.- Recursive Timed Automata.- Probabilistic Contracts for Component-Based Design.- Tool Papers.- Model-Checking Web Applications with Web-TLR.- GAVS: Game Arena Visualization and Synthesis.- CRI: Symbolic Debugger for MCAPI Applications.- MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming.- ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems.- Developing Model Checkers Using PAT.- YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B.-COMBINE: A Tool on Combined Formal Methods for Bindingly Verification.- Rbminer: A Tool for Discovering Petri Nets from Transition Systems.