Back to Results
First PageMeta Content
Science / Models of computation / Automata theory / Digital electronics / Formal methods / Finite-state machine / Software development process / Model checking / ECLiPSe / Computing / Formal sciences / Software engineering


Document Date: 2012-02-22 06:55:47

Open Document

File Size: 130,51 KB

Share Result on Facebook

Company

Philips / /

Event

Reorganization / /

Holiday

Christmas / /

IndustryTerm

model checking technology / lower-level software / software engineering / application-level software / dependency network / later systems / subsequent systems / analysis using software / embedded system product / larger systems / software support / /

Person

Michael Breen / Tray Mode / TRAY CLOSED / /

Position

Author / project leader / player / engineer / customer representative / /

Technology

model checking technology / finite state machine / /

SocialTag