Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

CORR
2009
Springer

favoriteEmaildiscussreport

117views Education» more CORR 2009»

Automated Predicate Abstraction for Real-Time Models

13 years 2 months ago

Automated Predicate Abstraction for Real-Time Models

Download www.informatik.uni-freiburg.de

Bahareh Badban, Stefan Leue, Jan-Georg Smaus

Real-time Traffic

CORR 2009 | Education |

claim paper

Related Content

» Lazy Approximation for Dense RealTime Systems

» Predicate Diagrams for the Verification of RealTime Systems

» A Framework for Embedded RealTime System Design

» An Automatic RealTime Analysis of the Time to Reach Consensus

» A UML Profile and a Methodology for RealTime Systems Design

» MDDPro ModelDriven Dependability Provisioning in Enterprise Distributed RealTime and Embed...

» ZeroStop Authentication SensorBased RealTime Authentication System

» RealTime Alert Correlation with Type Graphs

» A Framework for Distributing RealTime Functions

Post Info
More Details (n/a)

Added	17 Feb 2011
Updated	17 Feb 2011
Type	Journal
Year	2009
Where	CORR
Authors	Bahareh Badban, Stefan Leue, Jan-Georg Smaus

Comments (0)