Search results for: Nancy A. Day
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Modeling Concepts > 158-172
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Microprocessor Specification and Verification > 123-141
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Contributed Papers > 145-161
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Verification > 65-80
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Algorithm Verification > 433-448
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Posters > 346-349
Software & Systems Modeling > 2012 > 11 > 2 > 251-272
Requirements Engineering > 2010 > 15 > 2 > 235-265
Protein Expression and Purification > 2007 > 52 > 2 > 463-471
Requirements Engineering > 2007 > 12 > 4 > 245-264
Electronic Notes in Theoretical Computer Science > 2006 > 159 > Complete > 79-97
International Journal on Software Tools for Technology Transfer > 2003 > 4 > 3 > 298-312