Back to Results
First PageMeta Content
Formal methods / Concurrency / Diagrams / Petri net / Theoretical computer science / Data transmission / Model checking / Finite-state machine / Reachability / Models of computation / Automata theory / Computer science


Document Date: 2006-10-18 14:25:05

Open Document

File Size: 267,23 KB

Share Result on Facebook

Country

Denmark / /

/

Facility

University of Aarhus / /

IndustryTerm

breath-first search / concurrent systems / intelligent search / finite state systems / printing / reactive systems / stop-and-wait protocol / a lot of tools / depth-first search / /

Organization

University of Aarhus / Game Coloured Petri Nets M. Westergaard Department of Computer Science / GHz Intel Core Duo / /

Position

model / can Receive Packet / player / /

RadioStation

123.180 When / /

Technology

network protocol / stop-and-wait protocol / artificial intelligence / 3 The processor / network protocols / /

SocialTag