Sciweavers

17 search results - page 1 / 4

» acsd 2003

34

ACSD
2003
IEEE

116views Hardware» more ACSD 2003»

CAST - A Task-Level Concurrency Analysis Tool

14 years 4 months ago

CAST - A Task-Level Concurrency Analysis Tool

Download www.es.ele.tue.nl

Sander Stuijk, Twan Basten, Jan Ypma

claim paper

Read More »

26

ACSD
2003
IEEE

84views Hardware» more ACSD 2003»

Merging State-Based and Action-Based Verification

14 years 4 months ago

Merging State-Based and Action-Based Verification

Download www.cs.tut.fi

Henri Hansen, Heikki Virtanen, Antti Valmari

claim paper

Read More »

22

ACSD
2003
IEEE

81views Hardware» more ACSD 2003»

A New Synchronization in Finite Stochastic Petri Box Calculus

14 years 4 months ago

A New Synchronization in Finite Stochastic Petri Box Calculus

Download www.info-ab.uclm.es

Hermenegilda Macià, Valentín Valero ...

claim paper

Read More »

27

ACSD
2003
IEEE

117views Hardware» more ACSD 2003»

AutoFOCUS and the MoDe Tool

14 years 4 months ago

AutoFOCUS and the MoDe Tool

Download www4.in.tum.de

Jan Romberg, Jan Jürjens, Guido Wimmel, Oscar...

claim paper

Read More »

33

ACSD
2003
IEEE

211views Hardware» more ACSD 2003»

HiWorD: A Petri Net-Based Hierarchical Workflow Designer

14 years 4 months ago

HiWorD: A Petri Net-Based Hierarchical Workflow Designer

Download is.tm.tue.nl

Boualem Benatallah, Piotr Chrzastowski-Wachtel, Ra...

claim paper

Read More »

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