Pamela Dyer

According to our database, Pamela Dyer authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Towards the Formal Verification of SysML v2 Models.

Vince Molnár, Bence Graics, András Vörös, Stefano Tonetta, Luca Cristoforetti, Greg Kimberly, Pamela Dyer, Kristin Giammarco, Manfred Köthe, John Hester, Jamie Smith, Christoph Grimm

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024