Search Sciweavers | Sciweavers

14360 search results - page 154 / 2872

» Time Modeling in MARTE

click to vote

FM
2006
Springer

169views Formal Methods» more FM 2006»

PSL Model Checking and Run-Time Verification Via Testers

14 years 1 months ago

Download cs.nyu.edu

Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...

Amir Pnueli, Aleksandr Zaks

claim paper

Read More »

click to vote

FM
2006
Springer

97views Formal Methods» more FM 2006»

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++

14 years 1 months ago

Download wiki.overturetool.org

Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman

claim paper

Read More »

click to vote

FMCAD
2006
Springer

87views Formal Methods» more FMCAD 2006»

Model Checking Data-Dependent Real-Time Properties of the European Train Control System

14 years 1 months ago

Download csd.informatik.uni-oldenburg.de

Johannes Faber, Roland Meyer

claim paper

Read More »

click to vote

DAC
2010
ACM

105views Computer Architecture» more DAC 2010»

Worst-case response time analysis of resource access models in multi-core systems

14 years 1 months ago

Download pertsserver.cs.uiuc.edu

Andreas Schranzhofer, Rodolfo Pellizzoni, Jian-Jia...

claim paper

Read More »

click to vote

ELPUB
1997
ACM

68views Information Technology» more ELPUB 1997»

Modelling a Medieval Manuscript Database with HyTime

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers