Jump to main content

yr 〜
yr

Search results 13

形式的モデル化 : 離散事象/実時間/ハイブリッドシステムのモデル化と解析

形式的モデル化 : 離散事象/実時間/ハイブリッドシステムのモデル化と解析
Paper図書
平石邦彦 著森北出版2019.1<M154-M6>
National Diet LibraryOther Libraries in Japan

2011 eleventh international conference on application of concurrency to system design : (ACSD 2011) : Newcastle Upon Tyne, United Kingdom : 20-24 June 2011 : Jun 2011, Newcastle Upon Tyne, UK.

2011 eleventh international conference on application of concurrency to system design : (ACSD 2011) : Newcastle Upon Tyne, United Kingdom : 20-24 June 2011 : Jun 2011, Newcastle Upon Tyne, UK.
Paper図書
IEEEc2011.<M17-12-1622>
National Diet Library
  • Author Heading...armona, Josep. Hiraishi, Kunihiko.

高信頼ハイブリッドダイナミカルシステムの最適設計に関する研究

高信頼ハイブリッドダイナミカルシステムの最適設計に関する研究
Paper図書
平石邦彦, 北陸先端科学技術大学院大学 [著][平石邦彦]2005-2007<Y151-H17560386>
National Diet Library

Solving Problems on Hybrid Systems by Constraint Satisfaction

Solving Problems on Hybrid Systems by Constraint Satisfaction
Digital文書・図像類
Hiraishi, Kunihiko2009-09-21p.1-47
Other Libraries in Japan

KCLP-HS: a rapid prototyping tool for implementing algorithms on hybrid systems

KCLP-HS: a rapid prototyping tool for implementing algorithms on hybrid systems
Paper文書・図像類
Hiraishi, Kunihiko北陸先端科学技術大学院大学情報科学研究科2006-08-08Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2006-012p.1-36
Other Libraries in Japan

Modeling and Verification of Workflows for e-Society

Modeling and Verification of Workflows for e-Society
Digital文書・図像類
Hiraishi, Kunihiko2005-03-11p.1-4
Other Libraries in Japan

A Polynomial Time Algorithm for a Just-In-Time Scheduling Problem with Periodic Time Slots

A Polynomial Time Algorithm for a Just-In-Time Scheduling Problem with Periodic Time Slots
Paper文書・図像類
Hiraishi, Kunihiko北陸先端科学技術大学院大学情報科学研究科2002-12-05Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2002-022p.1-9
Other Libraries in Japan

Construction of Rule Base for the Control of Discrete Event Dynamic

Construction of Rule Base for the Control of Discrete Event Dynamic
Paper文書・図像類
Hiraishi, Kunihiko, Capkovic, Frantisek北陸先端科学技術大学院大学情報科学研究科2002-01-08Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2002-001p.1-8
Other Libraries in Japan

On structural analysis of Petri nets

On structural analysis of Petri nets
PaperDigital博士論文障害者向け資料あり
平石邦彦 [著]<UT51-91-N336>
Available onlineNational Diet Library

The completeness of linear logic with modal operator for Petri net models

The completeness of linear logic with modal operator for Petri net models
Paper文書・図像類
Ishihara, Keiko, Hiraishi, Kunihiko北陸先端科学技術大学院大学情報科学研究科1998-12-14Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-98-0032p.1-10
Other Libraries in Japan

Scheduling of parallel identical machines to maximize the weighted number

Scheduling of parallel identical machines to maximize the weighted number
Paper文書・図像類
Hiraishi, Kunihiko, Levner, Eugene, Vlach, Milan北陸先端科学技術大学院大学情報科学研究科2000-02-17Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2000-005p.1-5
Other Libraries in Japan

Synthesis of supervisors using learning algorithm of regular languages

Synthesis of supervisors using learning algorithm of regular languages
Paper文書・図像類
Hiraishi, Kunihiko北陸先端科学技術大学院大学情報科学研究科1999-06-30Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-99-0023p.1-25
Other Libraries in Japan

The completeness of linear logic for petri net models

The completeness of linear logic for petri net models
Paper文書・図像類
Ishihara, Keiko, Hiraishi, Kunihiko北陸先端科学技術大学院大学情報科学研究科1998-11-16Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-98-0028p.1-13
Other Libraries in Japan

Reached to the end of result.

RSS