Sciweavers

17 search results - page 1 / 4

» acsd 2003

14

ACSD
2003
IEEE

116views Hardware» more ACSD 2003»

CAST - A Task-Level Concurrency Analysis Tool

13 years 10 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 »

15

ACSD
2003
IEEE

84views Hardware» more ACSD 2003»

Merging State-Based and Action-Based Verification

13 years 10 months ago

Merging State-Based and Action-Based Verification

Download www.cs.tut.fi

Henri Hansen, Heikki Virtanen, Antti Valmari

claim paper

Read More »

12

ACSD
2003
IEEE

81views Hardware» more ACSD 2003»

A New Synchronization in Finite Stochastic Petri Box Calculus

13 years 10 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 »

11

ACSD
2003
IEEE

117views Hardware» more ACSD 2003»

AutoFOCUS and the MoDe Tool

13 years 10 months ago

AutoFOCUS and the MoDe Tool

Download www4.in.tum.de

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

claim paper

Read More »

17

ACSD
2003
IEEE

211views Hardware» more ACSD 2003»

HiWorD: A Petri Net-Based Hierarchical Workflow Designer

13 years 10 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 »