文献
J-GLOBAL ID:202002279081917456
整理番号:20A2554359
QRML:品質と資源管理のためのコンポーネント言語とツールセット【JST・京大機械翻訳】
QRML: A Component Language and Toolset for Quality and Resource Management
著者 (9件):
van den Berg Freek
(Electronic Systems, Eindhoven University of Technology,Eindhoven,Netherlands)
,
Camra Vaclav
(Distributed and Dependable Systems, Charles University,Prague, Czech Republic)
,
Hendriks Martijn
(Electronic Systems, Eindhoven University of Technology,Eindhoven,Netherlands)
,
Geilen Marc
(Electronic Systems, Eindhoven University of Technology,Eindhoven,Netherlands)
,
Hnetynka Petr
(Distributed and Dependable Systems, Charles University,Prague, Czech Republic)
,
Manteca Fernando
(Grupo de Ingenieri ́a Microelectro ́nica, Universidad de Cantabria,Santander,Spain)
,
Sanchez Pablo
(Grupo de Ingenieri ́a Microelectro ́nica, Universidad de Cantabria,Santander,Spain)
,
Bures Tomas
(Distributed and Dependable Systems, Charles University,Prague, Czech Republic)
,
Basten Twan
(Electronic Systems, Eindhoven University of Technology,Eindhoven,Netherlands)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2020
号:
FDL
ページ:
1-8
発行年:
2020年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)