Articles liés à Fundamentals of Software Engineering: 5th International...
Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers - Couverture souple
L'édition de cet ISBN n'est malheureusement plus disponible.
Synopsis
Unbounded Allocation in Bounded Heaps.- On the Complexity of Adding Convergence.- Deadlock Checking by Data Race Detection.- Delta Modeling and Model Checking of Product Families.- Lending Petri Nets and Contracts.- On Efficiency Preorders.- Compiling Cooperative Task Management to Continuations.- Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems.- Efficient Operational Semantics for EB3 for Verification of Temporal Properties.- Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair.- Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks.- A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming.- Push-Down Automata with Gap-Order Constraints.- Model Checking MANETs with Arbitrary Mobility.- Validating SCTP Simultaneous Open Procedure.- Improving Time Bounded Reachability Computations in Interactive Markov Chains.- Checking Compatibility of Web Services Behaviorally.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande
