Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. J.R. ABrial «The B-book. Assigning programs to meanings», Cambridge university press, 1996.
2. M. Barbacci, D. Borrione, D. Dietmeyer, F. Hill, R. Piloty, P. Skelly: «CONLAN Report», Lect. notes in Computer Science No 151, Springer 00BBerlag, 1983
3. David L. Barton «Systems Level Design Section of the Industry Standards Roadmap» The systems Level Description Language Committee
4. G.V. Bochman, Specification Languages for Communication Protocols, Proceedings of the Confernece on Hardware Description Languages, April 1993
5. D. Biorrione: «CASCADE», in «Fundamentals and Standards in Hardware Description Languages» KLUWER ACADEMIC, (1993).