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

The papers included in this special issue of Mathematical Structures in Computer Science were selected from a larger set we solicited from leading research groups on both sides of the Atlantic. They cover a wide spectrum of tutorials, recent results and surveys in the area of lightweight and practic...

Full description

Saved in:
Bibliographic Details
Published inMathematical structures in computer science Vol. 23; no. 4; p. 675
Main Authors BESTAVROS, AZER, KFOURY, ASSAF
Format Journal Article
LanguageEnglish
Published Cambridge, UK Cambridge University Press 01.08.2013
Subjects
Computer science
Editorial Preface
Mathematical analysis
Systems design
United States > US
Online AccessGet full text

Cover

More Information
Summary:The papers included in this special issue of Mathematical Structures in Computer Science were selected from a larger set we solicited from leading research groups on both sides of the Atlantic. They cover a wide spectrum of tutorials, recent results and surveys in the area of lightweight and practical formal methods in the design and analysis of safety-critical systems. All the papers we received were submitted to a rigorous process of review and revision, based on which we made our final selection.
ISSN:0960-1295
1469-8072
DOI:10.1017/S0960129513000145