64 search results - page 7 / 13 » ALICE: An Advanced Logic for Interactive Component Engineeri... |
ISSTA
2004
ACM
14 years 4 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
AMAST
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
APN
2003
Springer
13 years 12 months ago
2003
Springer
CPN Tools is a tool for editing, simulating and analysing Coloured Petri Nets. The GUI is based on advanced interaction techniques, such as toolglasses, marking menus, and bi-manua...
ASWEC
2005
IEEE
14 years 10 days ago
2005
IEEE
Robots have diverse capabilities and complex interactions with their environment. Software development for robotic platforms is time consuming due to the complex nature of the tas...
ASWSD
2006
Springer
13 years 10 months ago
2006
Springer
Automotive software has become an important factor in the development of modern and innovative high-end vehicles. More and more functions can only be realized by the cooperation of...