Works matching IS 09601295 AND DT 2013 AND VI 23 AND IP 4

Results: 11

MSC volume 23 issue 4 Cover and Back matter.

Published in:: Mathematical Structures in Computer Science, 2013, v. 23, n. 4, p. b1, doi. 10.1017/S0960129513000443
Publication type:: Article

MSC volume 23 issue 4 Cover and Front matter.

Published in:: Mathematical Structures in Computer Science, 2013, v. 23, n. 4, p. f1, doi. 10.1017/S0960129513000431
Publication type:: Article

Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems.

Published in:

Mathematical Structures in Computer Science, 2013, v. 23, n. 4, p. 675, doi. 10.1017/S0960129513000145

By:

BESTAVROS, AZER;
KFOURY, ASSAF

Publication type:

Article

Can we build it: formal synthesis of control strategies for cooperative driver assistance systems.

Published in:

Mathematical Structures in Computer Science, 2013, v. 23, n. 4, p. 676, doi. 10.1017/S0960129512000230

By:

DAMM, WERNER;
PETER, HANS-JÖRG;
RAKOW, JAN;
WESTPHAL, BERND

Publication type:

Article

Applications and extensions of Alloy: past, present and future.

Published in:

Mathematical Structures in Computer Science, 2013, v. 23, n. 4, p. 915, doi. 10.1017/S0960129512000291

By:

TORLAK, EMINA;
TAGHDIRI, MANA;
DENNIS, GREG;
NEAR, JOSEPH P.

Publication type:

Article

A modular formal semantics for Ptolemy.

Published in:

Mathematical Structures in Computer Science, 2013, v. 23, n. 4, p. 834, doi. 10.1017/S0960129512000278

By:

TRIPAKIS, STAVROS;
STERGIOU, CHRISTOS;
SHAVER, CHRIS;
LEE, EDWARD A.

Publication type:

Article

Model checking for performability.

Published in:

Mathematical Structures in Computer Science, 2013, v. 23, n. 4, p. 751, doi. 10.1017/S0960129512000254

By:

BAIER, C.;
HAHN, E. M.;
HAVERKORT, B. R.;
HERMANNS, H.;
KATOEN, J.-P.

Publication type:

Article

A formal approach to collaborative modelling and co-simulation for embedded systems.

Published in:

Mathematical Structures in Computer Science, 2013, v. 23, n. 4, p. 726, doi. 10.1017/S0960129512000242

By:

FITZGERALD, J. S.;
LARSEN, P. G.;
PIERCE, K. G.;
VERHOEF, M. H. G.

Publication type:

Article

Rigorous implementation of real-time systems – from theory to application.

Published in:

Mathematical Structures in Computer Science, 2013, v. 23, n. 4, p. 882, doi. 10.1017/S096012951200028X

By:

ABDELLATIF, TESNIM;
COMBAZ, JACQUES;
SIFAKIS, JOSEPH

Publication type:

Article

Postlude: seamless composition and integration – a perspective on formal methods research.

Published in:

Mathematical Structures in Computer Science, 2013, v. 23, n. 4, p. 934, doi. 10.1017/S0960129512000072

By:

BESTAVROS, AZER;
KFOURY, ASSAF;
LAPETS, ANDREI

Publication type:

Article

Employing UML and OCL for designing and analysing role-based access control.

Published in:

Mathematical Structures in Computer Science, 2013, v. 23, n. 4, p. 796, doi. 10.1017/S0960129512000266

By:

KUHLMANN, MIRCO;
SOHR, KARSTEN;
GOGOLLA, MARTIN

Publication type:

Article