Nantilus
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topic...
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2012 Cham |
| Collection : | Theoretical computer science and general issues (Online) ; 7610 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Sujets : | |
| Documents associés : | Autre format:
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies Autre format: Leveraging Applications of Formal Methods, Verification and Validation |
| LEADER | 08861clm a2200685 4500 | ||
|---|---|---|---|
| 001 | PPN168325977 | ||
| 003 | http://www.sudoc.fr/168325977 | ||
| 005 | 20241001155200.0 | ||
| 010 | |a 978-3-642-34032-1 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-34032-1 |2 DOI |
| 035 | |a (OCoLC)818324197 | ||
| 035 | |a Springer978-3-642-34032-1 | ||
| 035 | |a Springer-11645-978-3-642-34032-1 | ||
| 100 | |a 20130325d2012 k |0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 105 | |a y z 100yy | ||
| 106 | |a s | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies |e 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II |f edited by Tiziana Margaria, Bernhard Steffen. | |
| 214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
| 214 | 2 | |a Cham |b Springer Nature |d 2012 | |
| 225 | 0 | |a Theoretical Computer Science and General Issues |x 2512-2029 |v 7610 | |
| 330 | |a The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topical sections on adaptable and evolving software for eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata to register interface programs, RERS grey-box challenge 2012, Linux driver verification, bioscientific data processing and modeling, process and data integration in the networked healthcare, timing constraints: theory meets practice, formal methods for the developent and certification of X-by-wire control systems, quantitative modelling and analysis, software aspects of robotic systems, process-oriented geoinformation systems and applications, handling heterogeneity in formal development of HW and SW Systems. | ||
| 359 | 1 | |a Linux Driver Verification (Position Paper).- Bioscientific Data Processing and Modeling.- Using Multiobjective Optimization and Energy Minimization to Design an Isoform-Selective Ligand of the 14-3-3 Protein.- Segmentation for High-Throughput Image Analysis: Watershed Masked Clustering.- Efficient and Robust Shape Retrieval from Deformable Templates.- OWL-DL Domain-Models as Abstract Workflows.- Processes and Data Integration in the Networked Healthcare.- Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain.- Considerations for Healthcare Applications in a Platform as a Service Environment.- Reha-Sports: The Challenge of Small Margin Healthcare Accounting.- Timing Constraints: Theory Meets Practice.- A Simple and Flexible Timing Constraint Logic.- Generalized Weakly-Hard Constraints.- Modeling a BSG-E Automotive System with the Timing Augmented Description Language.- Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method.- Formal Specification and Verification of Task Time Constraints for Real-Time Systems.- The WCET Analysis Tool CalcWcet167.- Abstract Execution for Event-Driven Systems - An Application from Automotive/Infotainment Development.- Formal Methods for Intelligent Transportation Systems.- Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.- Formal Methods in Avionic Software Certification: The DO-178C Perspective.- Product Line Engineering Applied to CBTC Systems Development.- Improving Verification Process in Driverless Metro Systems: The MBAT Project.- Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings.- Automated Generation of Safety Requirements from Railway Interlocking Tables.- Distributing the Challenge of Model Checking Interlocking Control Tables.- Quantitative Modelling and Analysis.- Schedulability of Herschel-Planck Revisited Using Statistical Model Checking.- Checking Correctness of Services Modeled as Priced Timed Automata.- Software Aspects of Robotic Systems.- Process-Oriented Geoinformation Systems and Applications.- Concepts and Techniques of an Online 3D Atlas - Challenges in Cartographic 3D Geovisualization.- Handling Heterogeneity in Formal Developments of Hardware and Software Systems -- Formal Verification Tools for DSML Users: A Process Modeling Case Study.- An Ontological Pivot Model to Interoperate Heterogeneous User Requirements. Bioscientific Data Processing and Modeling.- Using Multiobjective Optimization and Energy Minimization to Design an Isoform-Selective Ligand of the 14-3-3 Protein.- Segmentation for High-Throughput Image Analysis: Watershed Masked Clustering.- Efficient and Robust Shape Retrieval from Deformable Templates.- OWL-DL Domain-Models as Abstract Workflows.- Processes and Data Integration in the Networked Healthcare.- Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain.- Considerations for Healthcare Applications in a Platform as a Service Environment.- Reha-Sports: The Challenge of Small Margin Healthcare Accounting.- Timing Constraints: Theory Meets Practice.- A Simple and Flexible Timing Constraint Logic.- Generalized Weakly-Hard Constraints.- Modeling a BSG-E Automotive System with the Timing Augmented Description Language.- Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method.- Formal Specification and Verification of Task Time Constraints for Real-Time Systems.- The WCET Analysis Tool CalcWcet167.- Abstract Execution for Event-Driven Systems - An Application from Automotive/Infotainment Development.- Formal Methods for Intelligent Transportation Systems.- Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.- Formal Methods in Avionic Software Certification: The DO-178C Perspective.- Product Line Engineering Applied to CBTC Systems Development.- Improving Verification Process in Driverless Metro Systems: The MBAT Project.- Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings.- Automated Generation of Safety Requirements from Railway Interlocking Tables.- Distributing the Challenge of Model Checking Interlocking Control Tables.- Quantitative Modelling and Analysis.- Schedulability of Herschel-Planck Revisited Using Statistical Model Checking.- Checking Correctness of Services Modeled as Priced Timed Automata.- Software Aspects of Robotic Systems.- Process-Oriented Geoinformation Systems and Applications.- Concepts and Techniques of an Online 3D Atlas - Challenges in Cartographic 3D Geovisualization.- Handling Heterogeneity in Formal Developments of Hardware and Software Systems -- Formal Verification Tools for DSML Users: A Process Modeling Case Study.- An Ontological Pivot Model to Interoperate Heterogeneous User Requirements. | |
| 371 | 0 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | |
| 410 | | | |0 200114832 |t Theoretical computer science and general issues (Online) |x 2512-2029 |v 7610 | |
| 452 | | | |t Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies |y 9783642340314 | |
| 452 | | | |t Leveraging Applications of Formal Methods, Verification and Validation |y 9783642340338 | |
| 608 | |3 PPN02886431X |a Actes de congrès |2 rameau | ||
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Artificial Intelligence (incl. Robotics) | |
| 610 | 2 | |a Programming Languages, Compilers, Interpreters | |
| 610 | 2 | |a Computation by Abstract Devices | |
| 610 | 2 | |a Logics and Meanings of Programs | |
| 610 | 2 | |a Software Engineering | |
| 610 | 2 | |a Operating Systems | |
| 610 | 2 | |a Artificial Intelligence. | |
| 610 | 2 | |a Theory of Computation | |
| 610 | 2 | |a Computer Science Logic and Foundations of Programming | |
| 610 | 2 | |a Compilers and Interpreters | |
| 615 | |a Computer Science |n 11645 |2 Springer | ||
| 676 | |a 005.1 |v 23 | ||
| 680 | |a QA76.758 | ||
| 700 | 1 | |3 PPN078183286 |a Margaria-Steffen |b Tiziana |f 1964-... |4 651 | |
| 701 | 1 | |a Margaria-Steffen |b Tiziana |f 1964-... |4 651 | |
| 701 | 1 | |a Steffen |b Bernhard |4 651 | |
| 801 | 3 | |a FR |b Abes |c 20231126 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20230412 |g AACR2 | |
| 856 | 4 | |5 441099901:830855505 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-34032-1 | |
| 915 | |5 441099901:830855505 |b SPRING13-00594 | ||
| 930 | |5 441099901:830855505 |b 441099901 |j g | ||
| 991 | |5 441099901:830855505 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:12 | ||
| 997 | |a NUM |b SPRING13-00594 |d NUMpivo |e EM |s d | ||
| 998 | |a 978426 | ||