Generating MSCs from an integrated formal specification language

Mitotic classes

Jain, S.
Stephan, F.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

The XOO7 benchmark

Bressan, S.
Lee, M.L.
Li, Y.G.
Lacroix, Z.
Nambiar, U.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Manifestation and exploitation of invariants in bioinformatics

Wong, L.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

An executable specification language based on message sequence charts

Roychoudhnry, A.
Thiagarajan, P.S.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lee, M.L.
Yu, J.X.
Bellahsène, Z.
Unland, R.

January 2010

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Extraction in scientific publications

Nguyen, T.D.
Kan, M.-Y.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Subdividing alpha complex

Cheng, H.-L.
Tan, T.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Multimedia analysis and synthesis

Kankanhalli, M.S.

January 2003

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)290341-52LN...

Representing and executing real-time systems

Ramirez, R.

January 1998

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lacture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lynn Batten (13081779)
R Safavi-Naini (13293120)

February 2023

Lecture Notes in Computer Science (including subseries Lacture Notes in Artificial Intelligence and ...

Communicating transaction processes: An MSC-based model of computation for reactive embedded systems

Roychoudhury, A.
Thiagarajan, P.S.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Membrane systems and distributed computing

Ciobanu, G.
Desai, R.
Kumar, A.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Automatic text summarization in engineering information management

Zhan, J.
Loh, H.T.
Liu, Y.
Sun, A.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Synergy between component-based and generative approaches

Jarzabek, S.
Knauber, P.

January 1999

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Generalized committed choice

Jaffar, J.
Yap, R.H.C.
Zhu, K.Q.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Mitotic classes

Jain, S.
Stephan, F.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

The XOO7 benchmark

Bressan, S.
Lee, M.L.
Li, Y.G.
Lacroix, Z.
Nambiar, U.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Manifestation and exploitation of invariants in bioinformatics

Wong, L.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

An executable specification language based on message sequence charts

Roychoudhnry, A.
Thiagarajan, P.S.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lee, M.L.
Yu, J.X.
Bellahsène, Z.
Unland, R.

January 2010

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Extraction in scientific publications

Nguyen, T.D.
Kan, M.-Y.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Subdividing alpha complex

Cheng, H.-L.
Tan, T.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Multimedia analysis and synthesis

Kankanhalli, M.S.

January 2003

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)290341-52LN...

Representing and executing real-time systems

Ramirez, R.

January 1998

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lacture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lynn Batten (13081779)
R Safavi-Naini (13293120)

February 2023

Lecture Notes in Computer Science (including subseries Lacture Notes in Artificial Intelligence and ...

Communicating transaction processes: An MSC-based model of computation for reactive embedded systems

Roychoudhury, A.
Thiagarajan, P.S.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Membrane systems and distributed computing

Ciobanu, G.
Desai, R.
Kumar, A.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Automatic text summarization in engineering information management

Zhan, J.
Loh, H.T.
Liu, Y.
Sun, A.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Synergy between component-based and generative approaches

Jarzabek, S.
Knauber, P.

January 1999

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Generalized committed choice

Jaffar, J.
Yap, R.H.C.
Zhu, K.Q.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Mitotic classes

Jain, S.
Stephan, F.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

The XOO7 benchmark

Bressan, S.
Lee, M.L.
Li, Y.G.
Lacroix, Z.
Nambiar, U.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Manifestation and exploitation of invariants in bioinformatics

Wong, L.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Generating MSCs from an integrated formal specification language

Abstract

Extracted data

Generating MSCs from an integrated formal specification language

Abstract

Extracted data

Related items

Related items