Loïc Besnard, Thierry Gautier, Clément Guy, Paul Le Guernic, Jean-Pierre Talpin, Brian R. Larson, Etienne Borde. Formal semantics of behavior specifications in the architecture analysis and design language standard. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2016, Santa Cruz, CA, USA, October 7-8, 2016. pages 30-39, IEEE, 2016. [doi]
@inproceedings{BesnardGGGTLB16,
title = {Formal semantics of behavior specifications in the architecture analysis and design language standard},
author = {Loïc Besnard and Thierry Gautier and Clément Guy and Paul Le Guernic and Jean-Pierre Talpin and Brian R. Larson and Etienne Borde},
year = {2016},
doi = {10.1109/HLDVT.2016.7748252},
url = {http://doi.ieeecomputersociety.org/10.1109/HLDVT.2016.7748252},
researchr = {https://researchr.org/publication/BesnardGGGTLB16},
cites = {0},
citedby = {0},
pages = {30-39},
booktitle = {IEEE International High Level Design Validation and Test Workshop, HLDVT 2016, Santa Cruz, CA, USA, October 7-8, 2016},
publisher = {IEEE},
isbn = {978-1-5090-4270-8},
}