Automated Software Engineering,volume 8,issue 3-4  (08-2014)

Period of time： 2014年3-4期

Publisher： Springer Publishing Company

Founded in： 1994

Total resources： 48

ISSN： 0928-8910

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.

Automated Software Engineering,volume 8,issue 3-4

Menu

Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset

By Buy U. in (2001)

Automated Software Engineering,volume 8,issue 3-4 , Vol. 8, Iss. 3-4, 2001-08 , pp. 227-273

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Model Checking Interactor Specifications

By Campos J.C. in (2001)

Automated Software Engineering,volume 8,issue 3-4 , Vol. 8, Iss. 3-4, 2001-08 , pp. 275-310

Springer Publishing Company

Abstract Access to resources Recommend Favorite

An Approach for Recovering Distributed System Architectures

By Mendonça N.C. in (2001)

Automated Software Engineering,volume 8,issue 3-4 , Vol. 8, Iss. 3-4, 2001-08 , pp. 311-354

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Eight Desert Island Books

By Ince D. in (2001)

Automated Software Engineering,volume 8,issue 3-4 , Vol. 8, Iss. 3-4, 2001-08 , pp. 355-358

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 4 item(s)