14,384 followers
@authenticSteveB Better to find somebody on the inside, the ones who implement this kind of thing: http://t.co/eRXi0iKsni
@authenticSteveB Better to find somebody on the inside, the ones who implement this kind of thing: http://t.co/eRXi0iKsni
MDE-Based Verification of SysML State Machine Diagram by UPPAAL http://t.co/sfpk2j5WfW #springerlink