‹ zurück Sie sind hier:  Startseite » Buchhändler » MARZIES.de Buch- und Medienhan… » Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

Linksbuch Neu neu Rechtsbuch

Bouajjani, Ahmed (Herausgeber); Chin, Wei-Ngan (Herausgeber)

Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings (Kartoniert / Broschiert / Paperback)


Reihe: Lecture Notes in Computer Science 6252

Springer-Verlag GmbH, Springer Berlin, September 2010


404 S. - Sprache: Englisch - 239x327x28 mm

ISBN: 3642156428 EAN: 9783642156427

place.


Preis: 85,59 EUR
Versandkosten: 0,00 EUR
Gesamtpreis: 85,59 EUR
In den Warenkorb

Anbieter: MARZIES.de Buch- und Medienhan… (Impressum/Lieferzeit)
Katalog: HC/Informatik

Angebotene Zahlungsarten: Vorauskasse
Transparente Bestellabwicklung - Verkäufer nutzt Order-Control - klicken für mehr Information
Transparente Bestellabwicklung -
Verkäufer nutzt Order-Control

 

Produktdetails

-

Inhaltsverzeichnis

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.


ISBN 3-642-15642-8

ISBN 978-3-642-15642-7

Buch empfehlen Buch empfehlen
Sparen Sie Versandkosten beim Kauf weiterer Artikel dieses Buchhändlers.

Readings in Formal Epistemology Sourcebook von Arló-Costa, Horacio (Herausgeber); Hendricks, Vincent F. (Herausgeber); van Benthem, Johan (Herausge
117,69 EUR

Security of Industrial Control Systems and Cyber-Physical Systems Second International Workshop, Cyb von Cuppens-Boulahia, Nora (Herausgeber); Lambrinoudakis, Costas (Herausgeber); Cuppens, Frédéric (Herau
53,49 EUR
Parameterized Algorithms von Cygan, Marek; Fomin, Fedor V.; Kowalik, Lukasz; Lokshtanov, Daniel; Marx, Dániel; Pilipczuk, Marcin
64,19 EUR

Euro-Par 2009 - Parallel Processing 15th International Euro-Par Conference, Delft, The Netherlands, von Sips, Henk (Bearbeitung); Epema, Dick (Herausgeber); Li Xiang, Hai (Herausgeber)
192,59 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2018 by whSoft GmbH
Entdecken Sie außerdem: Antiquariatsportal · Achtung-Bücher.de · Booklink · Buchhai - Bücher Preisvergleich
Alle genannten Preise sind Bruttopreise und enthalten, soweit nicht anders vom Verkäufer angegeben, die gesetzliche Umsatzsteuer.