Innovations in Systems and Software Engineering,volume 6,issue 3  (09-2014)

Period of time： 2014年3期

Publisher： Springer Publishing Company

Founded in： 2005

Total resources： 5

ISSN： 1614-5046

Subject： TP Automation Technology , Computer Technology

Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Innovations in Systems and Software Engineering,volume 6,issue 3

Menu

Preface: Special Issue on Nasa Formal Methods Symposium 2009

By Denney Ewen in (2010)

Innovations in Systems and Software Engineering,volume 6,issue 3 , Vol. 6, Iss. 3, 2010-09 , pp. 171-172

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Improved bound for stochastic formal correctness of numerical algorithms

By Daumas Marc in (2010)

Innovations in Systems and Software Engineering,volume 6,issue 3 , Vol. 6, Iss. 3, 2010-09 , pp. 173-179

Springer Publishing Company

Abstract Access to resources Recommend Favorite

An approach for machine-assisted verification of Timed CSP specifications

By Göthel Thomas in (2010)

Innovations in Systems and Software Engineering,volume 6,issue 3 , Vol. 6, Iss. 3, 2010-09 , pp. 181-193

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Coloured Petri net refinement specification and correctness proof with Coq

By Choppy Christine in (2010)

Innovations in Systems and Software Engineering,volume 6,issue 3 , Vol. 6, Iss. 3, 2010-09 , pp. 195-202

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Deductive verification of cryptographic software

By Almeida José in (2010)

Innovations in Systems and Software Engineering,volume 6,issue 3 , Vol. 6, Iss. 3, 2010-09 , pp. 203-218

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Formally verifying human-automation interaction as part of a system model: limitations and tradeoffs

By Bolton Matthew in (2010)

Innovations in Systems and Software Engineering,volume 6,issue 3 , Vol. 6, Iss. 3, 2010-09 , pp. 219-231

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Software model checking without source code

By Chaki Sagar in (2010)

Innovations in Systems and Software Engineering,volume 6,issue 3 , Vol. 6, Iss. 3, 2010-09 , pp. 233-242

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Randomized constraint solvers: a comparative study

By Takaki Mitsuo in (2010)

Innovations in Systems and Software Engineering,volume 6,issue 3 , Vol. 6, Iss. 3, 2010-09 , pp. 243-253

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 8 item(s)