Back to Results
First PageMeta Content
Promela / Relay / Data / SPIN model checker / Switch / Telephone exchange / Correctness / Communications protocol / Model checkers / Electrical engineering / Electromagnetism


Verifying Relay Circuits using State Machines P.H.J. van Eijk Utrecht University, Department of Philosophy Heidelberglaan 8, Utrecht, the Netherlands http://www.phil.ruu.nl/home/pve
Add to Reading List

Document Date: 2008-06-30 15:34:28

Open Document

File Size: 187,50 KB

Share Result on Facebook

Country

Netherlands / /

/

Facility

stable=0 stable / State Machines P.H.J. van Eijk Utrecht University / /

IndustryTerm

still processing / validator tool / telephone switches / electronics / train systems / validation tools / communication protocols / traction systems / hardware technology / hardware device / programmable electronics / still applications / sequential systems / distributed computer systems / /

OperatingSystem

Unix / /

Organization

Department of Philosophy Heidelberglaan / Utrecht University / /

Position

Programmable Logic Controller / /

ProgrammingLanguage

PROMELA / /

Technology

simulation / hardware technology / communication protocols / Unix / /

URL

http /

SocialTag