Wrong confirmation ID
  • Email
  • Favorite
  • Download
  • Embed
  • Private Content

Alloy Analyzer のこと

by Hiromi Ishii on Sep 22, 2011

  • 1,373 views

Alloy Analyzer について社内セミナーで発表した資料です。

Alloy Analyzer について社内セミナーで発表した資料です。

実際の模様→ http://www.ustream.tv/recorded/17430540

Accessibility

Categories

Tags

alloy analyzer 形式手法 formal methods

Upload Details

Uploaded via SlideShare as Adobe PDF

Usage Rights

© All Rights Reserved

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate. If needed, use the feedback form to let us know more details.

Cancel

3 Embeds 803

http://d.hatena.ne.jp 801
http://webcache.googleusercontent.com 1
http://webcache.googleusercontent.com 1

Statistics

Favorites
0
Downloads
3
Comments
0
Embed Views
803
Views on SlideShare
570
Total Views
1,373
Post Comment
Edit your comment Cancel

Alloy Analyzer のこと — Presentation Transcript