×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
farn documents
Documents
(2010) Anual Environmental Report
Documents
(2009) Informe Ambiental FARN 2009
Documents
Informe Ambiental 2014
Documents
Efficient model-checking of dense-time systems with time-convexity analysis
Documents
[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems - FORTE 2005 Volume 3731 || Towards Synchronizing Linear Collaborative Objects with Operational
Documents
Model-checking fair dense-time systems with propositions and events
Documents
[IEEE 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Taipei, Taiwan (2010.08.25-2010.08.27)] 2010 4th IEEE International Symposium on
Documents
[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International
Documents
[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems - FORTE 2005 Volume 3731 ||
Documents
[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems - FORTE 2005 Volume 3731 || Computing Subgraph Probability of Random Geometric Graphs: Quantitative
![[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems - FORTE 2005 Volume 3731 || Towards Synchronizing Linear Collaborative Objects with Operational](https://img.pdfslide.us/doc/345x265/5750964f1a28abbf6bc9768f/lecture-notes-in-computer-science-formal-techniques-for-networked-and-distributed-585b7bc4ed582.jpg)
![[IEEE 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Taipei, Taiwan (2010.08.25-2010.08.27)] 2010 4th IEEE International Symposium on](https://img.pdfslide.us/doc/345x265/5750a4601a28abcf0ca9ddd0/ieee-2010-4th-ieee-international-symposium-on-theoretical-aspects-of-software-58b52dc33670f.jpg)
![[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International](https://img.pdfslide.us/doc/345x265/5750abfd1a28abcf0ce3a057/ieee-second-international-symposium-on-leveraging-applications-of-formal-methods-58f250c0af100.jpg)
![[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems - FORTE 2005 Volume 3731 ||](https://img.pdfslide.us/doc/345x265/5750ac1c1a28abcf0ce48292/lecture-notes-in-computer-science-formal-techniques-for-networked-and-distributed-58f32936bda21.jpg)
![[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems - FORTE 2005 Volume 3731 || Computing Subgraph Probability of Random Geometric Graphs: Quantitative](https://img.pdfslide.us/doc/345x265/5750ac1c1a28abcf0ce48298/lecture-notes-in-computer-science-formal-techniques-for-networked-and-distributed-58f33536a3899.jpg)