メイン コンテンツへスキップ
Microsoft
Research
Research
Research
ホーム
Our research
Resources
Resources
Publications
Code & data
People
Microsoft Research blog
Research areas: Intelligence
Research areas: Intelligence
Artificial intelligence
Audio & acoustics
Computer vision
Graphics & multimedia
Human-computer interaction
Human language technologies
Search & information retrieval
Research areas: Systems
Research areas: Systems
Data platforms and analytics
Hardware & devices
Programming languages & software engineering
Quantum computing
Security, privacy & cryptography
Systems & networking
Research areas: Theory
Research areas: Theory
Algorithms
Mathematics
Research areas: Other Sciences
Research areas: Other Sciences
Ecology & environment
Economics
Medical, health & genomics
Social sciences
Technology for emerging markets
Programs & events
Academic programs
Events & academic conferences
Microsoft Research Forum
Connect & learn
Behind the Tech podcast
Microsoft Research blog
Microsoft Research Forum
Microsoft Research podcast
About
People & news
People & news
About Microsoft Research
Careers & internships
People
Emeritus program
News & awards
Microsoft Research newsletter
Microsoft Research Labs
Microsoft Research Labs
Africa
AI for Science
AI Frontiers
Asia-Pacific
Cambridge
Health Futures
India
Montreal
New England
New York City
Redmond
Other labs
Other labs
Applied Sciences
Mixed Reality & AI - Cambridge
Mixed Reality & AI - Zurich
表示数を増やす
Register: Research Forum
すべての Microsoft 製品
Global
Microsoft Security
Azure
Dynamics 365
Microsoft 365
Microsoft Teams
Windows 365
技術 & イノベーション
技術 & イノベーション
Microsoft Cloud
AI
Azure Space
Mixed Reality
Microsoft HoloLens
Microsoft Viva
量子コンピューティング
持続可能性
業界
業界
教育機関
自動車
金融サービス
行政機関
医療
製造業
小売業
すべての業種
パートナー
パートナー
パートナーを探す
パートナーになる
パートナー ネットワーク
Microsoft Marketplace
リソース
リソース
ブログ
Microsoft Advertising
デベロッパー センター
ドキュメント
イベント
ライセンス
Microsoft Learn
Microsoft Research
サイトマップの表示
検索
Search Microsoft Research
一致するものがありません
キャンセル
Select to reload this page in the selected language.
English (US)
Model-based Testing with SpecExplorer
設立年月日:December 10, 2008年
出版物
ツール
ツール
読み込み中…
Spec Explorer
9月 2006
人数
Margus Veanes
Principal Researcher
フォロー:
Xでフォローする
Facebookで「いいね!」
LinkedInをフォロー
Youtubeでチャンネル登録
Instagramをフォロー
私たちのRSSフィードを購読する
このページを共有する:
X で共有
Facebookでシェア
LinkedInで共有
Redditでシェア
