| Title: |
Formal semantics of behavior specifications in the architecture analysis and design language standard |
| Authors: |
Besnard, L.; Gautier, T.; Guy, C.; Le Guernic, P.; Talpin, J.-P.; Larson, B.R.; Borde, E. |
| Source: |
2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) High Level Design Validation and Test Workshop (HLDVT), 2016 IEEE International. :30-39 Oct, 2016 |
| Relation: |
2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) |
| Database: |
IEEE Xplore Digital Library |