Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
1-Safe Petri Nets and Special Cube Complexes: Equivalence and ApplicationsChalopin, Jérémie ; Chepoi, VictorACM transactions on computational logic, 2019-07, Vol.20 (3), p.1-49 [Periódico revisado por pares]Association for Computing MachineryTexto completo disponível |
|
2 |
Material Type: Artigo
|
1-Safe Petri nets and special cube complexes: equivalence and applicationsChalopin, Jérémie ; Chepoi, VictorarXiv.org, 2019-04Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
3 |
Material Type: Artigo
|
1-SAFE PETRI NETS GENERATING EVERY BINARY n-VECTOR EXACTLY ONCEKansal, Sangita ; Singh, Gajendra Pratap ; Acharya, MuktiScientiae Mathematicae Japonicae, 2011, Vol.74(1), pp.29-36International Society for Mathematical SciencesTexto completo disponível |
|
4 |
Material Type: Capítulo de Livro
|
2 - Quantitative security evaluation of an intrusion tolerant systemOkamura, H. ; Dohi, T.Mathematics Applied to Engineering, 2017, p.21-54Elsevier LtdTexto completo disponível |
|
5 |
Material Type: Artigo
|
2005A-G7-11 Study on Improvement for Container Throughput by Data Base Analysis on Container HandlingShinoda, Takeshi ; Kim, Hwayoung ; Shiroshita, Jun ; Tanaka, TakashiConference Proceedings The Japan Society of Naval Architects and Ocean Engineers, 2005, pp.449-450The Japan Society of Naval Architects and Ocean EngineersTexto completo disponível |
|
6 |
Material Type: Artigo
|
2005A-G7-11 コンテナターミナルの荷役データ分析によるコンテナスループット向上に関する研究(一般講演(G7))篠田, 岳思 ; 金, 華榮 ; 城下, 潤 ; 由中, 太氏日本船舶海洋工学会講演会論文集, 2005, pp.449-450公益社団法人 日本船舶海洋工学会Texto completo disponível |
|
7 |
Material Type: Artigo
|
2008S-G5-10 A Study on the River Transportation Simulator using Petri-netHamada, Kunihiro ; Kitamura, Mitsuru ; Okimoto, Masayuki ; Sorakubo, Hiroshi ; Punayangkool, KrisanaConference Proceedings The Japan Society of Naval Architects and Ocean Engineers, 2008, pp.473-476The Japan Society of Naval Architects and Ocean EngineersTexto completo disponível |
|
8 |
Material Type: Artigo
|
2008S-G5-10 ペトリネットを利用した河川物流のシミュレーション(一般講演(G5))濱田, 邦裕 ; 北村, 充 ; 沖本, 正行 ; 空久保, 宏日本船舶海洋工学会講演会論文集, 2008, pp.473-476公益社団法人 日本船舶海洋工学会Texto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
2G/3G-Connect: A Tool for Strategic Techno-Economical Studies on National-Wide Mobile Networks under a Hybrid 2G/3G ArchitectureGarcía, Alberto E. ; Rodríguez de Lope, Laura ; Hackbarth, Klaus D. ; Illich, Dragan ; Neu, Werner Del Ser, Javier ; Salcedo-Sanz, Sancho ; Jorswieck, Eduard Axel ; Palomar, Daniel P. ; Gil-Lopez, Sergio ; Matinmikko, Marja ; Miguez, JoaquinMobile Lightweight Wireless Systems, p.275-290Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
10 |
Material Type: Artigo
|
3-layer modelling method to improve the cyber resilience in Industrial Control SystemsTsuji, Daisuke ; Fujita, Junya ; Matsumoto, Noritaka ; Tamura, Yu ; Doenhoff, Jens ; Shigemoto, TomohiroSICE Journal of Control, Measurement, and System Integration, 2023-12, Vol.16 (1), p.63-74Taylor & Francis GroupTexto completo disponível |