Period of time： 2007年1期
Publisher： Springer Publishing Company
Founded in： 1997
Total resources： 18
ISSN： 1433-2779
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
International Journal on Software Tools for Technology Transfer,volume 9,issue 1
Menu
On the expressiveness of MTL in the pointwise and continuous semantics
By D’Souza Deepak,Prabhakar Pavithra in (2007)
International Journal on Software Tools for Technology Transfer,volume 9,issue 1 , Vol. 9, Iss. 1, 2007-02 , pp.
Access to resources
Recommend
The FSAP/NuSMV-SA Safety Analysis Platform
By Bozzano Marco,Villafiorita Adolfo in (2007)
International Journal on Software Tools for Technology Transfer,volume 9,issue 1 , Vol. 9, Iss. 1, 2007-02 , pp.Some current topics in model checking
International Journal on Software Tools for Technology Transfer,volume 9,issue 1 , Vol. 9, Iss. 1, 2007-02 , pp.Compositional software verification based on game semantics and process algebra
By Dimovski Aleksandar,Lazić Ranko in (2007)
International Journal on Software Tools for Technology Transfer,volume 9,issue 1 , Vol. 9, Iss. 1, 2007-02 , pp.Model-checking the preservation of temporal properties upon feature integration
By Guelev Dimitar,Ryan Mark,Schobbens Pierre in (2007)
International Journal on Software Tools for Technology Transfer,volume 9,issue 1 , Vol. 9, Iss. 1, 2007-02 , pp.Formal verification of the NASA runway safety monitor
By Siminiceanu Radu,Ciardo Gianfranco in (2007)
International Journal on Software Tools for Technology Transfer,volume 9,issue 1 , Vol. 9, Iss. 1, 2007-02 , pp.CTL-property Transformations along an Incremental Design Process
By Braunstein Cécile,Encrenaz Emmanuelle in (2007)
International Journal on Software Tools for Technology Transfer,volume 9,issue 1 , Vol. 9, Iss. 1, 2007-02 , pp.Improved verification of hardware designs through antecedent conditioned slicing
By Vasudevan Shobha,Emerson E.,Abraham Jacob in (2007)
International Journal on Software Tools for Technology Transfer,volume 9,issue 1 , Vol. 9, Iss. 1, 2007-02 , pp.