Sciweavers

Share
2 search results - page 1 / 1
» Can I Execute My Scenario in Your Net? VipTool Tells You!
Sort
View
APN
2006
Springer
10 years 2 months ago
Can I Execute My Scenario in Your Net? VipTool Tells You!
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
Robin Bergenthum, Jörg Desel, Gabriel Juh&aac...
APN
2005
Springer
10 years 3 months ago
Can I Execute My Scenario in Your Net?
This paper describes the veriļ¬cation module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
Gabriel Juhás, Robert Lorenz, Jörg Des...
books