Sciweavers

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

6

EPEW
2010
Springer

favoriteEmaildiscussreport

165views Internet Technology» more EPEW 2010»

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking

13 years 5 months ago

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking

Download www.fi.muni.cz

Lasse Jacobsen, Morten Jacobsen, Mikael H. M&oslas

Real-time Traffic

EPEW 2010 | Internet Technology |

claim paper

Related Content

» BranchingTime Property Preservation Between RealTime Systems

» Model Checking of Time Petri Nets Using the State Class Timed Automaton

» Similarity Quotients as Final Coalgebras

» Timed IO automata a complete specification theory for realtime systems

» Fuzzifying Allens Temporal Interval Relations

» A new partitioning scheme for improvement of image computation

» Bounded model checking knowledge and branching time in synchronous multiagent systems

» Structural Symbolic CTL Model Checking of Asynchronous Systems

» A Model Checker for Hierarchical Probabilistic RealTime Systems

Post Info
More Details (n/a)

Added	09 Nov 2010
Updated	09 Nov 2010
Type	Conference
Year	2010
Where	EPEW
Authors	Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba

Comments (0)