Sciweavers

10038 search results - page 289 / 2008
» Model Checking for Managers
Sort
View
CIKM
1998
Springer
15 years 11 months ago
Modeling Time from a Conceptual Perspective
Stefano Spaccapietra, Christine Parent, Esteban Zi...
OOIS
1994
Springer
15 years 10 months ago
OPUS: A Calculus for Modelling Object-Oriented Concepts
Tom Mens, Kim Mens, Patrick Steyaert