Sciweavers

16 search results - page 1 / 4

» iceccs 2008

5

ICECCS
2008
IEEE

98views Hardware» more ICECCS 2008»

Verifying Statecharts with State Invariants

13 years 10 months ago

Verifying Statecharts with State Invariants

Download www.cas.mcmaster.ca

Emil Sekerinski

claim paper

Read More »

9

ICECCS
2008
IEEE

91views Hardware» more ICECCS 2008»

Global Software Engineering Research in a Small Country

13 years 10 months ago

Global Software Engineering Research in a Small Country

Download www.lero.ie

Kevin Ryan

claim paper

Read More »

7

ICECCS
2008
IEEE

87views Hardware» more ICECCS 2008»

Verified Software: Theories, Tools, Experiments

13 years 10 months ago

Verified Software: Theories, Tools, Experiments

Download vstte.ethz.ch

Tony Hoare

claim paper

Read More »

5

ICECCS
2008
IEEE

102views Hardware» more ICECCS 2008»

High-Precision Relative Clock Synchronization Using Time Stamp Counters

13 years 10 months ago

High-Precision Relative Clock Synchronization Using Time Stamp Counters

Download eprints.qut.edu.au

Guosong Tian, Yu-Chu Tian, Colin J. Fidge

claim paper

Read More »

8

ICECCS
2008
IEEE

131views Hardware» more ICECCS 2008»

Dealing with AADL End-to-End Flow Latency with UML MARTE

13 years 10 months ago

Dealing with AADL End-to-End Flow Latency with UML MARTE

Download www-sop.inria.fr

Su-Young Lee 0002, Frédéric Mallet, ...

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »