Back to Results
First PageMeta Content
Formal methods / Theoretical computer science / Petri nets / Computer science / TAPAAL Model Checker / ExSpecT / Models of computation / Diagrams / Concurrency


Document Date: 2009-09-17 09:28:06

Open Document

File Size: 143,62 KB

Share Result on Facebook

Company

Stochastic Petri Nets / /

Currency

pence / /

/

IndustryTerm

communication systems / parallel systems / /

Position

model / and construct the generator matrix / /

Technology

shared memory system / /

SocialTag