Theoretical Aspects of Computing - ICTAC 2004 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540253044, 9783540318620

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Automatic Mapping from Statecharts to Verilog

Theoretical Aspects of Computing - ICTAC 2004 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31862-0_15 ◽

2005 ◽

pp. 187-203 ◽

Cited By ~ 6

Author(s):

Viet-Anh Vu Tran ◽

Shengchao Qin ◽

Wei Ngan Chin

Keyword(s):

Automatic Mapping

Revision Programs with Explicit Negation

Theoretical Aspects of Computing - ICTAC 2004 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31862-0_29 ◽

2005 ◽

pp. 403-414

Author(s):

Yisong Wang ◽

Mingyi Zhang

Keyword(s):

Explicit Negation

Combining Algebraic and Model-Based Test Case Generation

Theoretical Aspects of Computing - ICTAC 2004 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31862-0_19 ◽

2005 ◽

pp. 250-264 ◽

Cited By ~ 3

Author(s):

Li Dan ◽

Bernhard K. Aichernig

Keyword(s):

Test Case Generation ◽

Test Case ◽

Model Based

A Summary of the Tutorials at ICTAC 2004

Theoretical Aspects of Computing - ICTAC 2004 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31862-0_39 ◽

2005 ◽

pp. 557-560

Author(s):

Zhiming Liu

Foundations for the Run-Time Monitoring of Reactive Systems – Fundamentals of the MaC Language

Theoretical Aspects of Computing - ICTAC 2004 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31862-0_38 ◽

2005 ◽

pp. 543-556 ◽

Cited By ~ 10

Author(s):

Mahesh Viswanathan ◽

Moonzoo Kim

Keyword(s):

Reactive Systems ◽

Run Time

An Algebraic Approach for Codesign

Theoretical Aspects of Computing - ICTAC 2004 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31862-0_30 ◽

2005 ◽

pp. 415-430

Author(s):

Marc Aiguier ◽

Stefan Béroff ◽

Pierre-Yves Schobbens

Keyword(s):

Algebraic Approach

An Approach to Integration Testing Based on Data Flow Specifications

Theoretical Aspects of Computing - ICTAC 2004 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31862-0_18 ◽

2005 ◽

pp. 235-249 ◽

Cited By ~ 3

Author(s):

Yuting Chen ◽

Shaoying Liu ◽

Fumiko Nagoya

Keyword(s):

Data Flow ◽

Integration Testing

Reverse Observation Equivalence Between Labelled State Transition Systems

Theoretical Aspects of Computing - ICTAC 2004 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31862-0_16 ◽

2005 ◽

pp. 204-219

Author(s):

Yanjun Wen ◽

Ji Wang ◽

Zhichang Qi

Keyword(s):

State Transition ◽

Transition Systems ◽

State Transition Systems

Atomic Components

Theoretical Aspects of Computing - ICTAC 2004 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31862-0_11 ◽

2005 ◽

pp. 128-139 ◽

Cited By ~ 1

Author(s):

Steve Reeves ◽

David Streader

Software Services: Scientific Challenge or Industrial Hype?

Theoretical Aspects of Computing - ICTAC 2004 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31862-0_1 ◽

2005 ◽

pp. 1-13 ◽

Cited By ~ 4

Author(s):

José Luiz Fiadeiro

Keyword(s):

Scientific Challenge ◽

Software Services

Theoretical Aspects of Computing - ICTAC 2004 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

An Automatic Mapping from Statecharts to Verilog

Revision Programs with Explicit Negation

Combining Algebraic and Model-Based Test Case Generation

A Summary of the Tutorials at ICTAC 2004

Foundations for the Run-Time Monitoring of Reactive Systems – Fundamentals of the MaC Language

An Algebraic Approach for Codesign

An Approach to Integration Testing Based on Data Flow Specifications

Reverse Observation Equivalence Between Labelled State Transition Systems

Atomic Components

Software Services: Scientific Challenge or Industrial Hype?

Theoretical Aspects of Computing - ICTAC 2004 - Lecture Notes in Computer Science
Latest Publications