长垣产业园区科技文献服务平台 | cy.gmachineinfo.com

期刊

ISSN	0167-6423
刊名	Science of Computer Programming
参考译名	计算机程序设计科学
收藏年代	2002～2024

全部

题名	作者	出版年	年卷期
Formal Techniques for Safety-Critical Systems (FTSCS 2014) Preface	Artho, Cyrille; Olveczky, Peter Csaba	2017	2017, vol.133, no.Pt.2
Formal modelling and verification of interlocking systems featuring sequential release	Linh Hong Vu; Haxthausen, Anne E.; Peleska, Jan	2017	2017, vol.133, no.Pt.2
Dynamic state machines for modelling railway control systems	Benerecetti, M.; De Guglielmo, R.; Gentile, U.; Marrone, S.; Mazzocca, N.; Nardone, R.; Peron, A.; Velardi, L.; Vittorini, V.	2017	2017, vol.133, no.Pt.2
FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems	Bukhari, Syed Ali Asadullah; Lodhi, Faiq Khalid; Hasan, Osman; Shafique, Muhammad; Henkel, Jorg	2017	2017, vol.133, no.Pt.2
Parallelism analysis: Precise WCET values for complex multi-core systems	Kelter, Timon; Marwedel, Peter	2017	2017, vol.133, no.Pt.2
On the verification of SCOOP programs	Caltais, Georgiana; Meyer, Bertrand	2017	2017, vol.133, no.Pt.2
Analyzing a wind turbine system: From simulation to formal verification	Seceleanu, Cristina; Johansson, Morgan; Suryadevara, Jagadish; Seceleanu, Tiberiu; Ellevseth, Stein-Erik; Pettersson, Paul; Sapienza, Gaetana	2017	2017, vol.133, no.Pt.2