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

期刊

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

全部

题名	作者	出版年	年卷期
ASM, controller synthesis, and complete refinement	Richard Banach; Huibiao Zhu; Wen Su; Xiaofeng Wu	2014	2014, vol.94, no.Pt.2
Integrating SMT solvers in Rodin	David Deharbe; Pascal Fontaine; Yoann Guyot; Laurent Voisin	2014	2014, vol.94, no.Pt.2
Refinement of decomposed models by interface instantiation	Stefan Hallerstede; Thai Son Hoang	2014	2014, vol.94, no.Pt.2
Formalizing hybrid systems with Event-B and the Rodin Platform	Wen Su; Jean-Raymond Abrial; Huibiao Zhu	2014	2014, vol.94, no.Pt.2
Preventing arithmetic overflows in Alloy	Aleksandar Milicevic; Daniel Jackson	2014	2014, vol.94, no.Pt.2
Supervisory control theory with ALLOY	Benoit Fraikin; Marc Frappier; Richard St-Denis	2014	2014, vol.94, no.Pt.2
Revising basic theorem proving algorithms to cope with the logic of partial functions	Cliff B. Jones; Matthew J. Lovert; L. Jason Steggles	2014	2014, vol.94, no.Pt.2
Modeling web applications infrastructure with ASMs	Vincenzo Gervasi; Egon Borger; Antonio Cisternino	2014	2014, vol.94, no.Pt.2
Test generation for sequential nets of Abstract State Machines with information passing	Paolo Arcaini; Angelo Gargantini	2014	2014, vol.94, no.Pt.2