Back to Results
First PageMeta Content
Applied mathematics / Models of computation / Computer science / Model checking / Finite-state machine / Formal language / Algorithm / Theoretical computer science / Automata theory / Mathematics


The Tempo Language User Guide and Reference Manual Nancy A. Lynch, Stephen J. Garland, Dilsun Kaynar, Laurent Michel, Alex Shvartsman Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Tec
Add to Reading List

Document Date: 2011-10-24 14:32:42

Open Document

File Size: 643,66 KB

Share Result on Facebook

City

Timeout / /

Company

Ford / Artificial Intelligence Laboratory / /

Facility

Artificial Intelligence Laboratory Massachusetts Institute of Technology October / /

IndustryTerm

typical timed systems / /

Organization

Massachusetts Institute of Technology / /

Person

Stephen J. Garland / Laurent Michel / Alex Shvartsman / Nancy A. Lynch / /

Position

Vehicle Controller / controller / /

ProgrammingLanguage

Java / /

PublishedMedium

The Tempo Language User Guide / /

Technology

16 5.1 The algorithm / Java / Shortest-Paths Protocol / simulation / /

SocialTag