Search results
Minds and Machines > 2019 > 29 > 1 > 169-186
Mobile Networks and Applications > 2017 > 22 > 2 > 318-331
Lecture Notes in Computer Science > Formal Methods and Software Engineering > State Diagrams > 144-166
IFIP — The International Federation for Information Processing > Design Methods and Applications for Distributed Embedded Systems > Verification and Analysis > 43-52
IFIP — The International Federation for Information Processing > Design Methods and Applications for Distributed Embedded Systems > Verification and Analysis > 43-52
Lecture Notes in Business Information Processing > Design Requirements Engineering: A Ten-Year Perspective > High Impact Design Requirements - Key Design Challenges for the Next Decade > 44-87
Communications in Computer and Information Science > Recent Trends in Networks and Communications > The Second International Conference on Networks and Communications (NeCoM 2010) > 31-40
Lecture Notes in Business Information Processing > Perspectives in Business Informatics Research > Web Information Systems and Services > 239-253
Software & Systems Modeling > 2018 > 17 > 1 > 295-317
Programming and Computer Software > 2015 > 41 > 1 > 41-48
Cybernetics and Systems Analysis > 2011 > 47 > 2 > 202-209
Formal Methods in System Design > 2010 > 37 > 2-3 > 200-264
Journal of Computer Science and Technology > 2009 > 24 > 5 > 949-961
The International Journal of Advanced Manufacturing Technology > 2008 > 36 > 11-12 > 1180-1190
Applied Intelligence > 2007 > 27 > 1 > 49-66
Journal of Intelligent Manufacturing > 2003 > 14 > 1 > 123-136
Journal of Electronic Testing > 2001 > 17 > 5 > 395-408