Latest Topics
- STD testing
- SS Thames
- SL Records
- Knight
- Saab two-stroke
- SPEED World Challenge
- Sabre (computer system)
- SN 1006
- Kigali
- SYR2: Slaapkamers Met Slagroom
Random Topics
SLAM project
Summary
- The SLAM project, which is started in Microsoft Research, aimed for verifying some software properties using model checking techniques.
Soundex: S451 ( S45 P623 ) Metaphone: SLMPRJKT Reference |
Similar Topics
- Slam poetry
- Slam pong
- Slam Bradley
- Slam Jams
- Slam book
- Slam City Jam
- SLAM!FM
- SLAM
- Slam Stewart
- SLAM Magazine
Related Topics
* This page is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "SLAM project".