图书信息：
0次推荐
58次浏览
0次下载
| 书名： | Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies | |
|---|---|---|
| 作者： | Tiziana Margaria,Bernhard Steffen | |
| 出版时间： | 2012-01-01 | |
| ISBN： | 9783642340314(P-ISBN) ，9783642340321(O-ISBN) | |
| 摘要： | ||
| 摘要： | ||
书目详情：
Linux Driver VerificationBioscientific Data Processing and ModelingUsing Multiobjective Optimization and Energy Minimization to Design an Isoform-Selective Ligand of the 14-3-3 ProteinSegmentation for High-Throughput Image Analysis: Watershed Masked ClusteringEfficient and Robust Shape Retrieval from Deformable TemplatesOWL-DL Domain-Models as Abstract WorkflowsProcesses and Data Integration in the Networked HealthcareSimple Modeling of Executable Role-Based Workflows: An Application in the Healthcare DomainConsiderations for Healthcare Applications in a Platform as a Service EnvironmentReha-Sports: The Challenge of Small Margin Healthcare AccountingTiming Constraints: Theory Meets PracticeA Simple and Flexible Timing Constraint LogicGeneralized Weakly-Hard ConstraintsModeling a BSG-E Automotive System with the Timing Augmented Description LanguageFormal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ MethodFormal Specification and Verification of Task Time Constraints for Real-Time SystemsThe WCET Analysis Tool CalcWcet167Abstract Execution for Event-Driven Systems – An Application from Automotive/Infotainment DevelopmentFormal Methods for Intelligent Transportation SystemsModel-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective
评论：
