Sciweavers

7961 search results - page 21 / 1593
» Input-Output Model Programs
Sort
View
124
Voted
TOOLS
1997
IEEE
15 years 10 months ago
Requirements Modeling
Tim Hastings
143
Voted
TOOLS
1997
IEEE
15 years 10 months ago
Introduction to the Unified Modeling Language
Richard Thomas
126
Voted
ICALP
1993
Springer
15 years 10 months ago
Local Model Checking for Context-Free Processes
Hardi Hungar, Bernhard Steffen
138
Voted
IFIP
1994
Springer
15 years 10 months ago
Towards a model of exploration in computer-aided design
John S. Gero