3357 search results - page 12 / 672 » Controlling Complexity |
HIPC
2003
Springer
15 years 6 months ago
2003
Springer
ICRA
1999
IEEE
15 years 5 months ago
1999
IEEE
119
click to vote
FM
1998
Springer
15 years 5 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
CSB
2005
IEEE
15 years 3 months ago
2005
IEEE
COCOA
2008
Springer
15 years 3 months ago
2008
Springer