Search results
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Formal Methods > 253-267
Lecture Notes in Computer Science > B 2007: Formal Specification and Development in B > Tool Papers > 262-265
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification Techniques and Languages > 216-220
Lecture Notes in Computer Science > Advances in Information Security and Assurance > NASSUE 2009 > 644-651
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Keynote Papers > 5-11
Lecture Notes in Computer Science > Software Process Dynamics and Agility > Process Management > 121-133
Lecture Notes in Computer Science > Web Information Systems and Mining > Web Services and E-Learning > 436-443
Lecture Notes in Computer Science > Epistemological Aspects of Computer Simulation in the Social Sciences > Selected Papers > 117-129
Lecture Notes in Computer Science > Knowlege-Based and Intelligent Information and Engineering Systems > Other / Misc. Intelligent Systems Topics > 214-224
Lecture Notes in Computer Science > Agent and Multi-Agent Systems: Technologies and Applications > Main Track: Agents for Network Management > 520-529
Lecture Notes in Computer Science > FM 2009: Formal Methods > Special Track: Industrial Applications I > 532-546
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2003 > 160-176
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2005 > Full Papers > 250-267
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Selected Presentations > 73-88
Lecture Notes in Computer Science > Modelling Foundations and Applications > Model Management (2) > 361-376
Lecture Notes in Computer Science > Making Globally Distributed Software Development a Success Story > Process Management > 24-35