Developing Experimental Models for NASA Missions with ASSL
Vassev, Emil, Hinchey, Mike
Published in Electronic proceedings in theoretical computer science (28.03.2010)
Published in Electronic proceedings in theoretical computer science (28.03.2010)
Get full text
Journal Article