Wyniki wyszukiwania dla: Diego Latella
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 3 > 289-311
Lecture Notes in Computer Science > TAPSOFT'93: Theory and Practice of Software Development > 732-745
Lecture Notes in Computer Science > Interactive Systems. Design, Specification, and Verification > Teams and Groups > 39-50
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Quantitative Analysis Techniques for Service-Oriented Computing > 522-540
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Specification and Modelling > 96-110
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Invited Papers > 9-25
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Timed and Probabilistic Systems > 220-235
Lecture Notes in Computer Science > TAPSOFT'93: Theory and Practice of Software Development > 437-452
Lecture Notes in Computer Science > TAPSOFT '91 > 217-234
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > UML > 199-213
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Quantitative Analysis Techniques for Service-Oriented Computing > 447-466
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 385-404
Lecture Notes in Computer Science > Automata, Languages and Programming > Track C: Contributed Papers > 435-446
Science of Computer Programming > 2015 > 110 > Complete > 23-50