Search Sciweavers | Sciweavers

3387 search results - page 133 / 678

» Model-Checking for Real-Time Systems

171

click to vote

ASWSD
2006
Springer

248views Software Engineering» more ASWSD 2006»

Towards Model-Driven Development of Hard Real-Time Systems

15 years 10 months ago

Download aswsd.ucsd.edu

Christian Ferdinand, Reinhold Heckmann, Hans-J&oum...

claim paper

Read More »

140

click to vote

DATE
2004
IEEE

133views Hardware» more DATE 2004»

Model-Based Specification and Execution of Embedded Real-Time Systems

15 years 10 months ago

Download jerry.c-lab.de

Tim Schattkowsky, Wolfgang Müller 0003

claim paper

Read More »

134

click to vote

ENC
2004
IEEE

108views Theoretical Computer Science» more ENC 2004»

Real-Time Embedded Vision System Development Using AIBO Vision Workshop 2

15 years 10 months ago

Download www.griffith.edu.au

Nathan Lovell

claim paper

Read More »

166

click to vote

FM
2006
Springer

97views Formal Methods» more FM 2006»

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

15 years 10 months ago

Download wiki.overturetool.org

Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman

claim paper

Read More »

158

click to vote

CAV
2001
Springer

93views Hardware» more CAV 2001»

TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers