ISoLA 2010:
Heraklion, Crete, GreeceTiziana Margaria , Bernhard Steffen (Eds.):
Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I.
Lecture Notes in Computer Science 6415 Springer 2010, ISBN 978-3-642-16557-3 New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective
export record as
dblp key:
export record as
dblp key:
Bernhard Schätz :
Certification of Embedded Software - Impact of ISO DIS 26262 in the Automotive Domain.
3
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Formal Languages and Methods for Designing and Verifying Complex Embedded Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Worst-Case Traversal Time (WCTT)
export record as
dblp key:
conf/isola/BouillardBCMSST10 export record as
dblp key:
export record as
dblp key:
Marc Boyer :
NC-Maude: A Rewriting Tool to Play with Network Calculus.
137-151
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Tools in Scientific Workflow Composition
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Carlos Soares ,
Miguel Calejo :
Intelligent Document Routing as a First Step towards Workflow Automation: A Case Study Implemented in SQL.
276-284
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Emerging Services and Technologies for a Converging Telecommunications / Web World in Smart Environments of the Internet of Things
export record as
dblp key:
Jörg Ott :
Towards More Adaptive Voice Applications.
355-366
export record as
dblp key:
Sandford Bessler :
Telco Service Delivery Platforms in the Last Decade - A R&D Perspective.
367-374
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Gyu Myoung Lee ,
Noël Crespi :
Shaping Future Service Environments with the Cloud and Internet of Things: Networking Challenges and Service Evolution.
399-410
export record as
dblp key:
Web Science
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/isola/GoncalvesLMF10 export record as
dblp key:
export record as
dblp key:
conf/isola/BartoliniBBSBCE10 export record as
dblp key:
Model Transformation and Analysis for Industrial Scale Validation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/isola/ChakrabortyDK10 export record as
dblp key:
Qian Li ,
Jianhua Zhao ,
Xuandong Li :
Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination.
564-578
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Learning Techniques for Software Verification and Validation
export record as
dblp key:
conf/isola/GiannakopoulouP10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
