Bay area rapid transit district advance automated train control system case study description

Authors:
Victor L. Winter;Raymond S. Berg;James T. Ringland
Affiliations:
Sandia National Laboratories;Sandia National Laboratories;Sandia National Laboratories
Venue:
High integrity software
Year:
2001

Citing 0
Cited 2

Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach

Proceedings of the 2005 ACM symposium on Applied computing
Provably Correct Code Generation: A Case Study

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract