Search results for "LOTOS" | NDL Search

Search results 12

Group by title

分散システム記述言語のコンパイラ

Paper図書

谷口, 健一, 大阪大学1998-2000<Y151-H10558046>

National Diet Library

Subject HeadingE-LOTOS コンパイラ FDT QoS制御マルチメデイア実時間シス...

実時間マルチランデブ機構を持つ時間制約付きLOTOSプログラムの分散実行系の構築

Paper図書

東野, 輝夫, 大阪大学1997-1998<Y151-H09650414>

National Diet Library

Subject HeadingLOTOS マルチランデブ実時間システムマルチスレツドコンパイラ

時間制約付LOTOS言語で書かれた通信プロトコル仕様のハードウエア化に関する研究

Paper図書

東野, 輝夫, 大阪大学1999-2000<Y151-H11650379>

National Diet Library

Subject Heading通信プロトコル形式記述技法 LOTOS ハードウエア高位合成レジスタ転送レベル VHDL 実時間...

通信プロトコルの形式仕様からのハードウエア回路合成

Paper図書

谷口, 健一, 大阪大学1997-1998<Y151-H09680339>

National Diet Library

Subject Heading通信プロトコル並行プロセス LOTOS マルチランデブハードウエア化高位レベル合成レジスタ転...

通信プロトコル製品検証におけるプロトコル記述方式ならびに検証方式の研究

Paper図書

斉藤, 忠夫, 東京大学1986-1987<Y151-S61460130>

National Diet Library

Subject Headingプロトコルイベント順序表現 LOTOS ESTELLE 適合性試験

通信ソフトウエアの知識型自動形成システムの開発

Paper図書

白鳥, 則郎, 東北大学1988-1989<Y151-S63580018>

National Diet Library

Subject Heading通信ソフトウエアプロトコル仕様記述 LOTOS 試験インプリメンテーシヨンエデイタ

超高速ネツトワーク環境におけるソフトウエア分散協調開発に関する基礎的研究

Paper図書

稲垣, 康善, 名古屋大学1996-1997<Y151-H08308021>

National Diet Library

Subject Heading要求獲得ソフトウエア信頼性モデル超幾何分布モデル LOTOS仕様ソフトウエアプロセスネツトワーク環境エージエント ...

Annual report / Loto Canada.

Paper図書

Loto Canada1977.<DG47-41>

National Diet Library

Le livre noir de Loto-Québec

Paper図書

Pierre DesjardinsIntouchablesc2003

Other Libraries in Japan

LOTOSphere : software development with LOTOS

Paper図書

edited by Tommaso Bolognesi, Jeroen van de Lagemaat, and Chris VissersKluwer Academic Publishers1995

Other Libraries in Japan

Subject HeadingLOTOS (Computer program language) C...
Subject Heading (ID)LOTOS (Computer program language) C...

Communication protocol specification and verification

Paper図書

by Richard Lai, Ajin JirachiefpattanaKluwer Academicc1998

Other Libraries in Japan

Subject Heading...- Verification LOTOS (Computer program language)
Subject Heading (ID)...- Verification LOTOS (Computer program language)

The OSI95 transport service with multimedia support : Berlin : New York

Paper図書

A. Danthine, edSpringer-Verlagc1994

Other Libraries in Japan

Subject HeadingOSI (Computer network standard) Multimedia systems LOTOS (Computer program language)
Subject Heading (ID)OSI (Computer network standard) Multimedia systems LOTOS (Computer program language)

Reached to the end of result.

RSS