المؤلفون: Hynninen, VV, Olkkola, KT, Leino, K, Lundgren, S, Neuvonen, PJ, Rane, A, Valtonen, M, Vyyrylainen, H, Laine, K

المصدر: Antimicrobial agents and chemotherapy. 50(6):1967-1972

مصطلحات موضوعية: Medicin och hälsovetenskap

URL الوصول: http://kipublications.ki.se/Default.aspx?queryparsed=id:112051789

المؤلفون: Terhonen, E., Hytönen, T., Leino, K., Ylioja, T., Sutela, S.

المساهمون: Alfred Kordelinin Säätiö

المصدر: New Disease Reports ; volume 47, issue 1 ; ISSN 2044-0588 2044-0588

الاتاحة: http://dx.doi.org/10.1002/ndr2.12149
https://onlinelibrary.wiley.com/doi/pdf/10.1002/ndr2.12149
https://onlinelibrary.wiley.com/doi/full-xml/10.1002/ndr2.12149

المؤلفون: Koenig, Jason, Leino, K. Rustan M.

المصدر: EPTCS 209, 2016, pp. 87-106

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Software Engineering, D.2.4, D.3.2

URL الوصول: http://arxiv.org/abs/1606.02022

المؤلفون: Berzish, Murphy, Kulczynski, Mitja, Mora, Federico, Manea, Florin, Day, Joel D., Nowotka, Dirk, Ganesh, Vijay, Silva, Alexandra, Leino, K. Rustan M.

المساهمون: Berzish, Murphy, Kulczynski, Mitja, Mora, Federico, Manea, Florin, Day, Joel D., Nowotka, Dirk, Ganesh, Vijay, Silva, Alexandra, Leino, K. Rustan M.

Relation: https://resolver.sub.uni-goettingen.de/purl?gro-2/136391

الاتاحة: https://resolver.sub.uni-goettingen.de/purl?gro-2/136391
https://doi.org/10.1007/978-3-030-81688-9_14

المؤلفون: Leino, K. Rustan M., Wüstholz, Valentin

المصدر: EPTCS 149, 2014, pp. 3-15

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Human-Computer Interaction, Computer Science - Software Engineering, D.2.4, D.2.6, D.3.4

URL الوصول: http://arxiv.org/abs/1404.6602

المؤلفون: Leino, K. Rustan M. Van de Snepscheut, Jan L. A., Van de Snepscheut, Jan L. A.

المصدر: Toward reliable modular programs [electronic thesis]

الاتاحة: http://resolver.caltech.edu/CaltechETD:etd-10162007-111256

المؤلفون: Leino, K. Rustan M.

وصف الملف: application/pdf

Relation: https://thesis.library.caltech.edu/4114/; https://resolver.caltech.edu/CaltechETD:etd-10162007-111256; CaltechETD:etd-10162007-111256

الاتاحة: https://thesis.library.caltech.edu/4114/1/Leino_krm_1995.pdf

المساهمون: Silva, Alexandra, Leino, K. Rustan M.

مصطلحات موضوعية: architecture verification, artificial intelligence, computer programming, distributed computer systems, distributed systems, embedded systems, formal logic, formal methods, formal verifications, model checker, model checking, signal processing, software architecture, software design, software engineering, software quality, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYM Computer modelling & simulation

وصف الملف: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

URL الوصول: https://library.oapen.org/handle/20.500.12657/50429

المؤلفون: Kuncak, Viktor, Leino, K. Rustan M.

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, Computer Science - Software Engineering, D.2.4, D.3.1, F.3.1, F.3.2, F.4.1

URL الوصول: http://arxiv.org/abs/cs/0408045

المؤلفون: Hynninen, VV, Olkkola, KT, Leino, K, Lundgren, S, Neuvonen, PJ, Rane, A, Valtonen, M, Laine, K

المصدر: Fundamental & clinical pharmacology. 21(6):651-656

مصطلحات موضوعية: Medicin och hälsovetenskap

URL الوصول: http://kipublications.ki.se/Default.aspx?queryparsed=id:116251493

المؤلفون: Leino, K. Rustan M.

المصدر: Lecture Notes in Computer Science ; NASA Formal Methods ; page 1-1 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642203978 9783642203985

الاتاحة: http://dx.doi.org/10.1007/978-3-642-20398-5_1
http://link.springer.com/content/pdf/10.1007/978-3-642-20398-5_1

المؤلفون: Leino, K. Rustan M., Müller, Peter, Smans, Jan

المصدر: Programming Languages and Systems ; Lecture Notes in Computer Science ; page 407-426 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642119569 9783642119576

الاتاحة: http://dx.doi.org/10.1007/978-3-642-11957-6_22
http://link.springer.com/content/pdf/10.1007/978-3-642-11957-6_22.pdf

المؤلفون: Leino, K. Rustan M., Rümmer, Philipp

المصدر: Tools and Algorithms for the Construction and Analysis of Systems ; Lecture Notes in Computer Science ; page 312-327 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642120015 9783642120022

الاتاحة: http://dx.doi.org/10.1007/978-3-642-12002-2_26
http://link.springer.com/content/pdf/10.1007/978-3-642-12002-2_26.pdf

المؤلفون: Leino, K. Rustan M., Middelkoop, Ronald

المصدر: Fundamental Approaches to Software Engineering ; Lecture Notes in Computer Science ; page 231-245 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642005923 9783642005930

الاتاحة: http://dx.doi.org/10.1007/978-3-642-00593-0_16
http://link.springer.com/content/pdf/10.1007/978-3-642-00593-0_16

المؤلفون: Leino, K. Rustan M., Müller, Peter

المصدر: Programming Languages and Systems ; Lecture Notes in Computer Science ; page 378-393 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642005893 9783642005909

الاتاحة: http://dx.doi.org/10.1007/978-3-642-00590-9_27
http://link.springer.com/content/pdf/10.1007/978-3-642-00590-9_27

المؤلفون: Leino, K. Rustan M., Müller, Peter

المصدر: Programming Languages and Systems ; Lecture Notes in Computer Science ; page 307-321 ; ISBN 9783540787389 9783540787396

الاتاحة: http://dx.doi.org/10.1007/978-3-540-78739-6_24
http://link.springer.com/content/pdf/10.1007/978-3-540-78739-6_24.pdf

المؤلفون: Barnett, Mike, DeLine, Robert, Fähndrich, Manuel, Jacobs, Bart, Leino, K. Rustan M., Schulte, Wolfram, Venter, Herman

المصدر: Verified Software: Theories, Tools, Experiments ; Lecture Notes in Computer Science ; page 144-152 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540691471 9783540691495

الاتاحة: http://dx.doi.org/10.1007/978-3-540-69149-5_16
http://link.springer.com/content/pdf/10.1007/978-3-540-69149-5_16

المؤلفون: Leino, K. Rustan M.

المصدر: Tools and Algorithms for the Construction and Analysis of Systems ; Lecture Notes in Computer Science ; page 2-2 ; ISBN 9783540712084 9783540712091

الاتاحة: http://dx.doi.org/10.1007/978-3-540-71209-1_2
http://link.springer.com/content/pdf/10.1007/978-3-540-71209-1_2.pdf

المؤلفون: Darvas, Ádám, Leino, K. Rustan M.

المصدر: Fundamental Approaches to Software Engineering ; Lecture Notes in Computer Science ; page 336-351 ; ISBN 9783540712886 9783540712893

الاتاحة: http://dx.doi.org/10.1007/978-3-540-71289-3_26
http://link.springer.com/content/pdf/10.1007/978-3-540-71289-3_26.pdf

المؤلفون: Leino, K. Rustan M., Schulte, Wolfram

المصدر: Programming Languages and Systems ; Lecture Notes in Computer Science ; page 80-94 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540713142 9783540713166

الاتاحة: http://dx.doi.org/10.1007/978-3-540-71316-6_7
http://link.springer.com/content/pdf/10.1007/978-3-540-71316-6_7