Back to Results
First PageMeta Content
Promela / C syntax / Computer program / Init / Constructor / Computing / Software engineering / Computer programming


Microsoft PowerPoint - Introduction to SPIN.ppt
Add to Reading List

Document Date: 2006-06-05 00:33:10

Open Document

File Size: 191,01 KB

Share Result on Facebook

Company

Ralf Huuck Ralf Huuck COMP / Apprentice Example Ralf Huuck COMP / Interleaving Ralf Huuck COMP / Dekker’s Mutual Exclusion Ralf Huuck COMP / Ralf Huuck COMP / Control Flow (2) Ralf Huuck COMP / PROMELA/SPIN COMP / SPIN Ralf Huuck Ralf Huuck COMP / /

Facility

trail ERROR C /

IndustryTerm

telephone systems / /

Position

Simple Promela INterpreter / /

ProgrammingLanguage

Pascal / Promela / /

Technology

one processor / network protocols / simulation / /

SocialTag